Powered by

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
Article: icfpws17tydeforeword-fm000-p doi:

Message from the Chairs
Article: icfpws17tydeforeword-fm001-p doi:

Driving Types into PHP (Invited Talk)
Andrew Kennedy
(Facebook, UK)
Article: icfpws17tydemain-inv1-p doi:

Type-Directed Diffing of Structured Data
Victor Cacciari Miraldo, Pierre-Évariste Dagand, and Wouter Swierstra
(Utrecht University, Netherlands; UPMC, France)
Article: icfpws17tydemain-tydemain2-p doi:

Structured Asynchrony with Algebraic Effects
Daan Leijen
(Microsoft Research, USA)
Article: icfpws17tydemain-tydemain3-p doi:

Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data
Marcell van Geest and Wouter Swierstra
(Utrecht University, Netherlands)
Article: icfpws17tydemain-tydemain8-p doi:

proc time: 0.78