Publicações

AuthID
P-00X-T0C

Author(s)

Çiçek, E

Gaboardi, M

Garg, D

Hoffmann, J

Editor(es)

Castagna,G;Gordon,AD

Tipo de Documento

Proceedings Paper

Year published

2017

Publicado

in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 in POPL

Páginas: 316-329

Indexing

Publication Identifiers

DBLP: conf/popl/CicekBG0H17

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis