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

Workshop TyDe 2017 – Author Index

Contents - Abstracts - Authors

D K L M S V

Dagand, Pierre-Évariste TyDe'17: "Type-Directed Diffing of Structured ..."
Kennedy, Andrew TyDe'17: "Driving Types into PHP (Invited ..."
Leijen, Daan TyDe'17: "Structured Asynchrony with ..."
Miraldo, Victor Cacciari TyDe'17: "Type-Directed Diffing of Structured ..."
Swierstra, Wouter TyDe'17: "Type-Directed Diffing of Structured ..." TyDe'17: "Generic Packet Descriptions: ..."
Van Geest, Marcell TyDe'17: "Generic Packet Descriptions: ..."

6 authors

proc time: 0.07