Publications

AuthID
P-00Z-PTX

Author(s)

Lange, J

Ng, N

Editor(s)

Castagna,G;Gordon,AD

Document Type

Proceedings Paper

Year published

2017

Published

in ACM SIGPLAN NOTICES in POPL, ISSN: 0362-1340

Volume: 52, Issue: 1, Pages: 748-761 (14)

Indexing

Wos^®

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.1145/3093333.3009847

DBLP: conf/popl/LangeNTY17

SCOPUS: 2-s2.0-85119360597

Wos: WOS:000408311200056

Source Identifiers

ISSN: 0362-1340

Export Publication Metadata

Marked List

Info

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

Useful Links