TyDe 2022 – Proceedings

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

Frontmatter

Papers

A Hoare Logic Style Refinement Types Formalisation
Zilin Chen
(UNSW, Australia)


@InProceedings{TyDe22p1, author = {Zilin Chen}, title = {A Hoare Logic Style Refinement Types Formalisation}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3546196.3550162}, year = {2022}, } Publisher's Version Article: icfpws22tydemain-p2-p doi:10.1145/3546196.3550162

Structural Refinement Types
David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
(University of Tübingen, Germany)


@InProceedings{TyDe22p16, author = {David Binder and Ingo Skupin and David Läwen and Klaus Ostermann}, title = {Structural Refinement Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3546196.3550163}, year = {2022}, } Publisher's Version Article: icfpws22tydemain-p5-p doi:10.1145/3546196.3550163

tylr: A Tiny Tile-Based Structure Editor
David Moon, Andrew Blinn, and Cyrus Omar
(University of Michigan, USA)


@InProceedings{TyDe22p31, author = {David Moon and Andrew Blinn and Cyrus Omar}, title = {tylr: A Tiny Tile-Based Structure Editor}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3546196.3550164}, year = {2022}, } Publisher's Version Article: icfpws22tydemain-p8-p doi:10.1145/3546196.3550164

Computing with Generic Trees in Agda
Stephen Dolan


@InProceedings{TyDe22p46, author = {Stephen Dolan}, title = {Computing with Generic Trees in Agda}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3546196.3550165}, year = {2022}, } Publisher's Version Article: icfpws22tydemain-p11-p doi:10.1145/3546196.3550165

proc time: 0.01