Journal Article Monitors and Blame Assignment for Higher-Order Session Types 2016 • ACM Sigplan Notices • 51(1):582-594 Jia L, Gommerstadt H, Pfenning F
Conference Substructural Proofs as Automata 2016 • Lecture Notes in Computer Science • 10017:3-22 DeYoung H, Pfenning F
Conference Objects as session-typed processes 2015 • AGERE 2015 - Proceedings of the 5th International Workshop on Programming Based on Actors, Agents,and Decentralized Control • 13-24 Balzer S, Pfenning F
Conference Polarized Substructural Session Types 2015 • Lecture Notes in Computer Science • 9034:3-22 Pfenning F, Griffith D
Journal Article Session details: Session 5B: Programming Models I 2015 • ACM Sigplan Notices • 50(1): Pfenning F
Preprint A Linear Logic Programming Language for Concurrent Programming over Graph Structures 2014 Cruz F, Rocha R, Goldstein SC, Pfenning F
Conference A Linear Logic Programming Language for Concurrent Programming over Graph Structures 2014 • Theory and Practice of Logic Programming • 14:493-507 Cruz F, Rocha R, Goldstein SC, Pfenning F
Journal Article Corecursion and non-divergence in session-typed processes 2014 • Lecture Notes in Computer Science • 8902:159-175 Toninho B, Caires L, Pfenning F
Journal Article Linear logical relations and observational equivalences for session-based concurrency 2014 • Information and Computation • 239:254-302 Perez JA, Caires L, Pfenning F, Toninho B
Journal Article Programming with Higher-Order Logic, by Dale Miller and Gopalan Nadathur , Cambridge University Press, 2012, Hardcover, ISBN-10:052187940X, xiv + 306 pp. 2014 • Theory and Practice of Logic Programming • 14(2):265-267 Pfenning F
Conference Behavioral Polymorphism and Parametricity in Session-Based Communication 2013 • Lecture Notes in Computer Science • 7792:330-349 Caires L, Perez JA, Pfenning F, Toninho B
Conference Higher-Order Processes, Functions, and Sessions: A Monadic Integration 2013 • Lecture Notes in Computer Science • 7792:350-369 Toninho B, Caires L, Pfenning F
Book Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2013 • Lecture Notes in Computer Science • 7794 LNCS: Pfenning F
Conference A proof-carrying file system with revocable and use-once certificates 2012 • Lecture Notes in Computer Science • 7170 LNCS:40-55 Morgenstern J, Garg D, Pfenning F
Conference Cut reduction in linear logic as asynchronous session-typed communication 2012 • Leibniz International Proceedings in Informatics • 16:228-242 DeYoung H, Caires L, Pfenning F, Toninho B
Conference Functions as Session-Typed Processes 2012 • Lecture Notes in Computer Science • 7213:346-360 Toninho B, Caires L, Pfenning F
Conference Linear Logical Relations for Session-Based Concurrency 2012 • Lecture Notes in Computer Science • 7211:539-558 Perez JA, Caires L, Pfenning F, Toninho B
Journal Article Stateful authorization logic - Proof theory and a case study 2012 • Journal of Computer Security • 20(4):353-391 Garg D, Pfenning F
Conference Towards concurrent type theory 2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 1-12 Caires L, Pfenning F, Toninho B
Conference Trace matching in a concurrent logical framework 2012 • LFMTP'12 - Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice • 1-12 Cervesato I, Pfenning F, Sacchini JL, Schürmann C, Simmons RJ
Conference Dependent Session Types via Intuitionistic Linear Type Theory 2011 • PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING • 161-171 Toninho B, Caires L, Pfenning F
Conference Distributed deductive databases, declaratively: The L10 logic programming language 2011 • Proceedings of the 2011 ACM SIGPLAN X10 Workshop, X10 '11 Simmons RJ, Toninho B, Pfenning F
