Abstract is missing.
- Types for Correctness, Convenience, and Performance (Keynote)Gabriele Keller. 1 [doi]
- Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer LemmaHannes Saffrich, Peter Thiemann 0001, Marius Weidner. 2-15 [doi]
- Modal μ-Calculus for Free in AgdaIvan Todorov, Casper Bach Poulsen. 16-28 [doi]
- Normalizable TypesStefan Monnier. 29-36 [doi]
- Type-Level Property Based TestingThomas Ekström Hansen, Edwin Brady. 37-49 [doi]
- Towards Type-Directed API Search for Mainstream LanguagesMarc Etter, Farhad Mehta. 50-61 [doi]
- Term Search in RustTavo Annus, Philipp Joram. 62-73 [doi]