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