TyDe 2025 – Proceedings

10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2025)

Frontmatter

Papers

Gradual Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, and Rocky Liu
(Indiana University, USA; Meta, USA)

Publisher's Version

Unification Modulo Isomorphisms between Dependent Types for Type-Based Library Search
Satoshi Takimoto, Sosuke Moriguchi, and Takuo Watanabe
(Institute of Science Tokyo, Japan)

Publisher's Version

Representing Data Structures with Invariants in Haskell: The Cases of BST and AVL
Nicolas Rodriguez, Alberto Pardo, and Marcos Viera
(Universidad de la República, Uruguay)

Publisher's Version

A Formalization of Opaque Definitions for a Dependent Type Theory
Nils Anders Danielsson and Eve Geng
(University of Gothenburg and Chalmers University of Technology, Sweden; Chalmers University of Technology, Sweden)

Publisher's Version

The Conatural Numbers Form an Exponential Commutative Semiring
Szumi Xie and Viktor Bense
(Eötvös Loránd University, Hungary)

Publisher's Version

proc time: 0.66