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