TyDe 2017- Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development

Full Citation in the ACM Digital Library

Driving types into PHP (invited talk)

• Andrew Kennedy

Type-directed diffing of structured data

• Victor Cacciari Miraldo
• Pierre-Évariste Dagand
• Wouter Swierstra

Structured asynchrony with algebraic effects

• Daan Leijen

Generic packet descriptions: verified parsing and pretty printing of low-level data

• Marcell van Geest
• Wouter Swierstra