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)

@InProceedings{TyDe24p1, author = {Gabriele Keller}, title = {Types for Correctness, Convenience, and Performance (Keynote)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3678000.3689534}, year = {2024}, } Publisher's Version Article: icfpws24tydemain-key1-p (type: Keynote) 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)

@InProceedings{TyDe24p16, author = {Hannes Saffrich and Peter Thiemann and Marius Weidner}, title = {Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3678000.3678201}, year = {2024}, } Publisher's Version Article: icfpws24tydemain-p14-p (type: Full Paper) doi:10.1145/3678000.3678201

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

@InProceedings{TyDe24p31, author = {Ivan Todorov and Casper Bach Poulsen}, title = {Modal μ-Calculus for Free in Agda}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3678000.3678202}, year = {2024}, } Publisher's Version Article: icfpws24tydemain-p23-p (type: Full Paper) doi:10.1145/3678000.3678202

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

@InProceedings{TyDe24p46, author = {Stefan Monnier}, title = {Normalizable Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3678000.3678203}, year = {2024}, } Publisher's Version Article: icfpws24tydemain-p33-p (type: Full Paper) doi:10.1145/3678000.3678203

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

@InProceedings{TyDe24p61, author = {Thomas Ekström Hansen and Edwin Brady}, title = {Type-Level Property Based Testing}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3678000.3678206}, year = {2024}, } Publisher's Version Archive submitted (20 kB) Article: icfpws24tydemain-p40-p (type: Full Paper) 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)

@InProceedings{TyDe24p76, author = {Marc Etter and Farhad Mehta}, title = {Towards Type-Directed API Search for Mainstream Languages}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3678000.3678207}, year = {2024}, } Publisher's Version Article: icfpws24tydemain-p48-p (type: Full Paper) doi:10.1145/3678000.3678207

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

@InProceedings{TyDe24p91, author = {Tavo Annus and Philipp Joram}, title = {Term Search in Rust}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3678000.3678210}, year = {2024}, } Publisher's Version Article: icfpws24tydemain-p98-p (type: Full Paper) doi:10.1145/3678000.3678210

proc time: 0.02