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
Article: icfpws22tydeforeword-fm000-p (type: Frontmatter) doi:
Welcome from the Chairs
Article: icfpws22tydeforeword-fm001-p (type: Frontmatter) doi:

Papers

A Hoare Logic Style Refinement Types Formalisation
Zilin Chen
(UNSW, Australia)
Publisher's Version Article: icfpws22tydemain-p2-p (type: Full Paper (12 pages + references)) doi:10.1145/3546196.3550162
Structural Refinement Types
David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
(University of Tübingen, Germany)
Publisher's Version Article: icfpws22tydemain-p5-p (type: Full Paper (12 pages + references)) doi:10.1145/3546196.3550163
tylr: A Tiny Tile-Based Structure Editor
David Moon, Andrew Blinn, and Cyrus Omar
(University of Michigan, USA)
Publisher's Version Article: icfpws22tydemain-p8-p (type: Full Paper (12 pages + references)) doi:10.1145/3546196.3550164
Computing with Generic Trees in Agda
Stephen Dolan
Publisher's Version Article: icfpws22tydemain-p11-p (type: Full Paper (12 pages + references)) doi:10.1145/3546196.3550165

proc time: 0.01