Frank Pfenning


AuthID: R-006-F75

Confirmed Publications: 23



21
TITLE: Dependent Session Types via Intuitionistic Linear Type Theory
AUTHORS: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLISHED: 2011, SOURCE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
INDEXED IN: Scopus WOS DBLP CrossRef: 35
22
TITLE: Proof-carrying code in a session-typed process calculus
AUTHORS: Pfenning, F ; Caires, L ; Toninho, B ;
PUBLISHED: 2011, SOURCE: 1st International Conference on Certified Programs and Proofs, CPP 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7086 LNCS
INDEXED IN: Scopus DBLP CrossRef: 18
23
TITLE: Session Types as Intuitionistic Linear Propositions
AUTHORS: Luis Caires ; Frank Pfenning ;
PUBLISHED: 2010, SOURCE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXED IN: Scopus WOS DBLP CrossRef: 129
Page 3 of 3. Total results: 23.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service