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

Workshop TyDe 2022 – Author Index

Contents - Abstracts - Authors

B C D L M O S

Binder, David TyDe '22: "Structural Refinement Types ..."
Blinn, Andrew TyDe '22: "tylr: A Tiny Tile-Based Structure ..."
Chen, Zilin TyDe '22: "A Hoare Logic Style Refinement ..."
Dolan, Stephen TyDe '22: "Computing with Generic Trees ..."
Läwen, David TyDe '22: "Structural Refinement Types ..."
Moon, David TyDe '22: "tylr: A Tiny Tile-Based Structure ..."
Omar, Cyrus TyDe '22: "tylr: A Tiny Tile-Based Structure ..."
Ostermann, Klaus TyDe '22: "Structural Refinement Types ..."
Skupin, Ingo TyDe '22: "Structural Refinement Types ..."

9 authors

proc time: 2.75