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

Workshop TyDe 2024 – Author Index

Contents - Abstracts - Authors

A B E H J M S T W

Annus, Tavo TyDe '24: "Term Search in Rust ..."
Bach Poulsen, Casper TyDe '24: "Modal μ-Calculus for Free ..."
Brady, Edwin TyDe '24: "Type-Level Property Based ..."
Etter, Marc TyDe '24: "Towards Type-Directed API ..."
Hansen, Thomas Ekström TyDe '24: "Type-Level Property Based ..."
Joram, Philipp TyDe '24: "Term Search in Rust ..."
Mehta, Farhad TyDe '24: "Towards Type-Directed API ..."
Monnier, Stefan TyDe '24: "Normalizable Types ..."
Saffrich, Hannes TyDe '24: "Intrinsically Typed Syntax, ..."
Thiemann, Peter TyDe '24: "Intrinsically Typed Syntax, ..."
Todorov, Ivan TyDe '24: "Modal μ-Calculus for Free ..."
Weidner, Marius TyDe '24: "Intrinsically Typed Syntax, ..."

12 authors

proc time: 0.86