TyDe 2024 – Proceedings

9th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2024)

Frontmatter

Keynote

Types for Correctness, Convenience, and Performance (Keynote)
Gabriele Keller
(Utrecht University, Netherlands)

Publisher's Version Article: icfpws24tydemain-key1-p doi:10.1145/3678000.3689534

Papers

Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Hannes Saffrich, Peter Thiemann, and Marius Weidner
(University of Freiburg, Germany)

Publisher's Version Article: icfpws24tydemain-p14-p doi:10.1145/3678000.3678201

Modal μ-Calculus for Free in Agda
Ivan Todorov and Casper Bach Poulsen
(Delft University of Technology, Netherlands)

Publisher's Version Info Article: icfpws24tydemain-p23-p doi:10.1145/3678000.3678202

Normalizable Types
Stefan Monnier
(Université de Montréal, Canada)

Publisher's Version Article: icfpws24tydemain-p33-p doi:10.1145/3678000.3678203

Type-Level Property Based Testing
Thomas Ekström Hansen and Edwin Brady
(University of St Andrews, United Kingdom)

Publisher's Version Archive submitted (20 kB) Article: icfpws24tydemain-p40-p doi:10.1145/3678000.3678206

Towards Type-Directed API Search for Mainstream Languages
Marc Etter and Farhad Mehta
(OST University of Applied Sciences of Eastern Switzerland, Switzerland)

Publisher's Version Info Article: icfpws24tydemain-p48-p doi:10.1145/3678000.3678207

Term Search in Rust
Tavo Annus and Philipp Joram
(Tallinn University of Technology, Estonia)

Publisher's Version Article: icfpws24tydemain-p98-p doi:10.1145/3678000.3678210

proc time: 0.02