ICFP Workshops 2024
29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024)
Powered by
Conference Publishing Consulting

9th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2024), September 6, 2024, Milan, Italy

TyDe 2024 – Preliminary Table of Contents

Contents - Abstracts - Authors

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


Title Page
Message from the Chairs


Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Hannes Saffrich ORCID logo, Peter ThiemannORCID logo, and Marius Weidner ORCID logo
(University of Freiburg, Germany)
Article Search
Modal μ-Calculus for Free in Agda
Ivan Todorov ORCID logo and Casper Bach Poulsen ORCID logo
(Delft University of Technology, Netherlands)
Article Search Info
Normalizable Types
Stefan Monnier ORCID logo
(Université de Montréal, Canada)
Article Search
Type-Level Property Based Testing
Thomas Ekström Hansen ORCID logo and Edwin BradyORCID logo
(University of St Andrews, United Kingdom)
Article Search Archive submitted (20 kB)
Towards Type-Directed API Search for Mainstream Languages
Marc Etter ORCID logo and Farhad Mehta ORCID logo
(OST University of Applied Sciences of Eastern Switzerland, Switzerland)
Article Search Info
Term Search in Rust
Tavo Annus ORCID logo and Philipp Joram ORCID logo
(Tallinn University of Technology, Estonia)
Article Search

proc time: 2.98