Publications by Frank Pfenning

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

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

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