ICFP Workshops 2022
27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022)
Powered by
Conference Publishing Consulting

7th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2022), September 11, 2022, Ljubljana, Slovenia

TyDe 2022 – Proceedings

Contents - Abstracts - Authors

7th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2022)

Frontmatter

Title Page
Welcome from the Chairs

Papers

A Hoare Logic Style Refinement Types Formalisation
Zilin Chen
(UNSW, Australia)
Publisher's Version
Structural Refinement Types
David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
(University of Tübingen, Germany)
Publisher's Version
tylr: A Tiny Tile-Based Structure Editor
David Moon, Andrew Blinn, and Cyrus Omar
(University of Michigan, USA)
Publisher's Version
Computing with Generic Trees in Agda
Stephen Dolan
Publisher's Version

proc time: 0.47