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 – Preliminary Table of Contents

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

Papers

A Hoare Logic Style Refinement Types Formalisation
Zilin Chen ORCID logo
(UNSW, Australia)
Article Search
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)
Article Search
tylr: A Tiny Tile-Based Structure Editor
David MoonORCID logo, Andrew BlinnORCID logo, and Cyrus OmarORCID logo
(University of Michigan, USA)
Article Search
Computing with Generic Trees in Agda
Stephen Dolan
Article Search

proc time: 1.46