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
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
Preprint Session Types with Arithmetic Refinements and Their Application to Work Analysis 2020 Das A, Pfenning F
Preprint Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs 2020 Derakhshan F, Pfenning F
Conference Verified Linear Session-Typed Concurrent Programming 2020 • PROCEEDINGS OF THE 22ND INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2020 Das A, Pfenning F
Journal Article A Message-Passing Interpretation of Adjoint Logic 2019 • Electronic Proceedings in Theoretical Computer Science • 60-79 Pruiksma K, Pfenning F
Preprint Circular Proofs as Session-Typed Processes: A Local Validity Condition 2019 Derakhshan F, Pfenning F
Conference Domain-aware session types 2019 • Leibniz International Proceedings in Informatics • 140: Caires L, Pérez JA, Pfenning F, Toninho B
Preprint Domain-Aware Session Types (Extended Version) 2019 Caires L, Pérez JA, Pfenning F, Toninho B
Conference Manifest Deadlock-Freedom for Shared Session Types 2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11423:611-639 Balzer S, Toninho B, Pfenning F
Preprint Resource-Aware Session Types for Digital Contracts 2019 Das A, Balzer S, Hoffmann J, Pfenning F, Santurkar I
Conference A universal session type for untyped asynchronous communication 2018 • Leibniz International Proceedings in Informatics • 118: Balzer S, Pfenning F, Toninho B
Conference Parallel Complexity Analysis with Temporal Session Types 2018 • Proceedings of the ACM on Programming Languages • 2: Das A, Hoffmann J, Pfenning F
Conference Session-Typed Concurrent Contracts 2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10801:771-798 Gommerstadt H, Jia L, Pfenning F
Conference Work Analysis with Resource-Aware Session Types 2018 • Proceedings - Symposium on Logic in Computer Science • 305-314 Das A, Hoffmann J, Pfenning F
Journal Article Design and Implementation of Concurrent C0 2017 • Electronic Proceedings in Theoretical Computer Science • 73-82 Willsey M, Prabhu R, Pfenning F
