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 – Advance Table of Contents

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs
Driving Types into PHP (Invited Talk)
Andrew Kennedy
(Facebook, n.n.)
Article Search
Type-Directed Diffing of Structured Data
Victor Cacciari Miraldo, Pierre-Evariste Dagand, and Wouter Swierstra
(Utrecht University, Netherlands; UPMC, France)
Article Search
Structured Asynchrony with Algebraic Effects
Daan Leijen
(Microsoft Research, n.n.)
Article Search
Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell
Ting-Yan Lai, Tyng-Ruey Chuang, and Shin-Cheng Mu
(Academia Sinica, Taiwan)
Article Search
Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data
Marcell van Geest and Wouter Swierstra
(Utrecht University, Netherlands)
Article Search

proc time: 1.4