SPLASH Workshop/Symposium Events 2025
2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2025)
Powered by
Conference Publishing Consulting
10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2025), October 12–18, 2025, Singapore, Singapore

TyDe 2025 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Article: splashws25tydeforeword-fm000-p doi:
Welcome from the Chairs
Article: splashws25tydeforeword-fm001-p doi:
TyDe 2025 Organization
Article: splashws25tydeforeword-fm002-p doi:

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 Article: splashws25tydemain-p1-p doi:10.1145/3759538.3759650
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 Article: splashws25tydemain-p3-p doi:10.1145/3759538.3759651
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 Article: splashws25tydemain-p8-p doi:10.1145/3759538.3759652
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 Article: splashws25tydemain-p10-p doi:10.1145/3759538.3759653
The Conatural Numbers Form an Exponential Commutative Semiring
Szumi Xie and Viktor Bense
(Eötvös Loránd University, Hungary)
Publisher's Version Article: splashws25tydemain-p13-p doi:10.1145/3759538.3759654

proc time: 0.02