Journal Article Grits: A message-passing programming language based on the semi-axiomatic sequent calculus 2026 • Science of Computer Programming • 248: Francalanza A, Tabone G, Pfenning F
Journal Article A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns 2025 • ACM Transactions on Computational Logic • 26(1): Chen Z, Pfenning F
Conference Substructural Parametricity 2025 • Leibniz International Proceedings in Informatics • 337: Aberlé CB, Crary K, Martens C, Pfenning F
Conference Adjoint Natural Deduction 2024 • Leibniz International Proceedings in Informatics • 299: Jang J, Roshal S, Pfenning F, Pientka B
Chapter Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax) 2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14676:295-313 Francalanza A, Tabone G, Pfenning F
Journal Article Parametric Subtyping for Structural Parametric Polymorphism 2024 • Proceedings of the ACM on Programming Languages • 8(POPL): DeYoung H, Mordido A, Pfenning F, Das A
Chapter A Logical Framework with Higher-Order Rational (Circular) Terms 2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13992:68-88 Chen Z, Pfenning F
Conference Intuitionistic Metric Temporal Logic 2023 • PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2023 de Sa L, Toninho B, Pfenning F
Preprint Parametric Subtyping for Structural Parametric Polymorphism 2023 DeYoung H, Mordido A, Pfenning F, Das A
Chapter Relating Message Passing and Shared Memory, Proof-Theoretically 2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13908:3-27 Pfenning F, Pruiksma K
Journal Article Back to futures 2022 • Journal of Functional Programming • 32: Pruiksma K, Pfenning F
Journal Article CIRCULAR PROOFS AS SESSION-TYPED PROCESSES: A LOCAL VALIDITY CONDITION 2022 • Logical Methods in Computer Science • 18(2): Derakhshan F, Pfenning F
Journal Article Nested Session Types 2022 • ACM Transactions on Programming Languages and Systems • 44(3): Das A, DeYoung H, Mordido A, Pfenning F
Chapter Polarized Subtyping 2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13240:431-461 Lakhani Z, Das A, DeYoung H, Mordido A, Pfenning F
Journal Article RAST: A LANGUAGE FOR RESOURCE-AWARE SESSION TYPES 2022 • Logical Methods in Computer Science • 18(1): Das A, Pfenning F
Journal Article Session-typed concurrent contracts 2022 • Journal of Logical and Algebraic Methods in Programming • 124: Gommerstadt H, Jia L, Pfenning F
Conference Type-Based Termination for Futures 2022 • Leibniz International Proceedings in Informatics • 228: Somayyajula S, Pfenning F
Conference A Decade of Dependent Session Types 2021 • PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021 Toninho B, Caires L, Pfenning F
Journal Article A message-passing interpretation of adjoint logic 2021 • Journal of Logical and Algebraic Methods in Programming • 120: Pruiksma K, Pfenning F
Chapter Manifestly Phased Communication via Shared Session Types 2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12717:23-40 Sano C, Balzer S, Pfenning F
Conference Nested Session Types 2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12648:178-206 Das A, DeYoung H, Mordido A, Pfenning F
Conference Resource-Aware Session Types for Digital Contracts 2021 • Proceedings - IEEE Computer Security Foundations Symposium • 109-124 Das A, Balzer S, Hoffmann J, Pfenning F, Santurkar I
