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 ORCID logo
(UNSW, Australia)
Publisher's Version
Structural Refinement Types
David Binder ORCID logo, Ingo Skupin ORCID logo, David Läwen ORCID logo, and Klaus Ostermann ORCID logo
(University of Tübingen, Germany)
Publisher's Version
tylr: A Tiny Tile-Based Structure Editor
David Moon ORCID logo, Andrew Blinn ORCID logo, and Cyrus Omar ORCID logo
(University of Michigan, USA)
Publisher's Version
Computing with Generic Trees in Agda
Stephen Dolan ORCID logo
Publisher's Version

proc time: 1.08