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.65