TyDe 2022 – Preliminary Table of Contents

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

Frontmatter

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