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 • ACM International Conference Proceeding Series 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 • 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 • 10801 LNCS: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
Journal Article Intersections and Unions of Session Types 2017 • Electronic Proceedings in Theoretical Computer Science • 4-19 Acay C, Pfenning F
Journal Article Manifest Sharing with Session Types 2017 • Proceedings of the ACM on Programming Languages • 1: Balzer S, 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
Preprint Non-Blocking Concurrent Imperative Programming with Session Types 2017 Silva M, Florido M, Pfenning F
