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 • 13992 LNCS: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 • 13908 LNCS: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 • 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 • 12717 LNCS:23-40 Sano C, Balzer S, Pfenning F
Conference Nested Session Types 2021 • Lecture Notes in Computer Science • 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
Conference Rast: Resource-aware session types with arithmetic refinements 2020 • Leibniz International Proceedings in Informatics • 167: Das A, Pfenning F
Conference Semi-axiomatic sequent calculus 2020 • Leibniz International Proceedings in Informatics • 167: DeYoung H, Pfenning F, Pruiksma K
