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.66