TyDe 2017 – Proceedings

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

Driving Types into PHP (Invited Talk)
Andrew Kennedy
(Facebook, UK)


@InProceedings{TyDe17p1, author = {Andrew Kennedy}, title = {Driving Types into PHP (Invited Talk)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, }

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


@InProceedings{TyDe17p17, author = {Victor Cacciari Miraldo and Pierre-Évariste Dagand and Wouter Swierstra}, title = {Type-Directed Diffing of Structured Data}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2017}, }

Structured Asynchrony with Algebraic Effects
Daan Leijen
(Microsoft Research, USA)


@InProceedings{TyDe17p33, author = {Daan Leijen}, title = {Structured Asynchrony with Algebraic Effects}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2017}, }

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


@InProceedings{TyDe17p49, author = {Marcell van Geest and Wouter Swierstra}, title = {Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, }

proc time: 0.01