Publications

AuthID
P-00Y-5NE

Author(s)

Fournet, C

Grégoire, B

Strub, PY

Swamy, N

Béguelin, SZ

Editor(s)

Jagannathan,S;Sewell,P

Document Type

Proceedings Paper

Year published

2014

Published

in The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014 in POPL

Pages: 193-206

Indexing

Publication Identifiers

DBLP: conf/popl/BartheFGSSB14

Export Publication Metadata

Marked List

Info

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

Useful Links