Journal Article Manifest Sharing with Session Types 2017 • Proceedings of the ACM on Programming Languages • 1: Balzer S, Pfenning F
Preprint Non-Blocking Concurrent Imperative Programming with Session Types 2017 Silva M, Florido M, Pfenning F
Journal Article Non-Blocking Concurrent Imperative Programming with Session Types 2017 • Electronic Proceedings in Theoretical Computer Science • 64-72 Silva M, Florido M, Pfenning F
Journal Article Linear logic propositions as session types 2016 • Mathematical Structures in Computer Science • 26(3):367-423 Caires L, Pfenning F, Toninho B
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10017:3-22 DeYoung H, Pfenning F
Conference Polarized Substructural Session Types 2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7794 LNCS: Pfenning F
Conference A Proof-Carrying File System with Revocable and Use-Once Certificates 2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7170: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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7213:346-360 Toninho B, Caires L, Pfenning F
Conference Linear Logical Relations for Session-Based Concurrency 2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7211:539-558 Perez JA, Caires L, Pfenning F, Toninho B
