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 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs
TyDe 2024 Organization

Keynote

Types for Correctness, Convenience, and Performance (Keynote)
Gabriele Keller
(Utrecht University, Netherlands)
Publisher's Version

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
Modal μ-Calculus for Free in Agda
Ivan Todorov and Casper Bach Poulsen
(Delft University of Technology, Netherlands)
Publisher's Version Info
Normalizable Types
Stefan Monnier
(Université de Montréal, Canada)
Publisher's Version
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)
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
Term Search in Rust
Tavo Annus and Philipp Joram
(Tallinn University of Technology, Estonia)
Publisher's Version

proc time: 2.51