ICFP Workshops 2017
22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017)
Powered by
Conference Publishing Consulting

2nd ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2017), September 3, 2017, Oxford, UK

TyDe 2017 – Proceedings

Contents - Abstracts - Authors

2nd ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2017)

Title Page
Message from the Chairs
Driving Types into PHP (Invited Talk)
Andrew Kennedy
(Facebook, UK)
Type-Directed Diffing of Structured Data
Victor Cacciari Miraldo, Pierre-Évariste Dagand, and Wouter Swierstra
(Utrecht University, Netherlands; UPMC, France)
Structured Asynchrony with Algebraic Effects
Daan Leijen
(Microsoft Research, USA)
Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data
Marcell van Geest and Wouter Swierstra
(Utrecht University, Netherlands)

proc time: 0.72