Publications

Dependent Information Flow Types

AuthID
P-00G-5RN

Author(s)

Lourenco, L

Caires, L

Editor(s)

Sriram K. Rajamani; David Walker

Document Type

Article

Year published

2015

Published

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

Volume: 50, Issue: 1, Pages: 317-328 (12)

Conference

42Nd Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages, Popl 2015, Date: 12 January 2015 through 18 January 2015, Sponsors: ACM SIGACT;ACM SIGPLAN

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/530197

Crossref^®28

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2676726.2676994

Dblp: conf/popl/LourencoC15

Scopus: 2-s2.0-84939514507

Wos: WOS:000354800500025

Source Identifiers

ISSN: 0362-1340

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Dependent Information Flow Types

Useful Links

Get Help

Federated Authentication (Click on the image)

Dependent Information Flow Types

Useful Links

Get Help