See also Publications (as of July 29, 2023),
Google Scholar Profile
So what's the difference between a session type
and an ordinary type anyway?
- 30 Years of Session Types (ST30).
Cascais, Portugal, October 22, 2023.
Relating Message Passing and Shared Memory,
Frank Pfenning and Klaas Pruiksma.
18th International Federated Conference on Distributed Computing Techniques (DisCoTec 2023).
Lisbon, Portugal, June 21, 2023.
Invited talk, Companion paper.
Data Layout from a Type-Theoretic Perspective
38th International Conference on Mathematical Foundations of Programming Semantics (MFPS'22),
Ithaca, New York and Paris, France, July 2022. [Incremental Slides]
Modal Logics and Types: Looking Back and Looking Forward
Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'22),
Philadelphia, Pennsylvania, January 2022.
15-814 Types and Programming Languages
Combined course notes for 15-814, December 2020.
An implementation of the Lambda language is available at
- Adjoint logic
- Klaas Pruiksma, William Chargin, Frank Pfenning, and Jason Reed.
Unpublished manuscript, April 2018.
Teaching Imperative Programming with
Contracts at the Freshmen Level [Experience Report]
Frank Pfenning, Thomas J. Cortina, and William Lovas.
Unpublished manuscript, September 2011.
An Approach to Teaching to Write Safe and Correct
Imperative Programs --- Even in C,
Iliano Cervesato, Thomas J. Cortina, Frank Pfenning, and Saquib Razak,
The Focused Constraint Inverse Method for Intuitionistic Modal Logics
Sean McLaughlin and Frank Pfenning.
Draft manuscript, January 2010.