ICFP 2017 (series) / TyDe 2017 (series) /
TyDe 2017 Program
This is the TyDe 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 3 SepDisplayed time zone: Belfast change
Sun 3 Sep
Displayed time zone: Belfast change
09:00 - 09:05 | |||
09:00 5mDay opening | Welcome TyDe |
09:05 - 10:00 | |||
09:05 55mTalk | Driving types into PHP TyDe Andrew Kennedy Facebook London |
10:30 - 11:30 | |||
10:30 30mTalk | Generic packet descriptions: verified parsing and pretty printing of low-level data TyDe | ||
11:00 30mTalk | Structured asynchrony with algebraic effects TyDe Daan Leijen Microsoft Research |
12:00 - 12:25 | |||
12:00 25mTalk | Cogent⇑: giving systems engineers a stepping stone TyDe Zilin Chen UNSW, Australia |
14:00 - 15:00 | |||
14:00 30mTalk | Type safe Redis queries -- a case study of type-level programming in Haskell TyDe Ting-Yan Lai Institute of Information Science, Academia Sinica, Tyng-Ruey Chuang Institute of Information Science, Academia Sinica, Shin-Cheng Mu Academia Sinica, Taiwan | ||
14:30 30mTalk | Type-directed diffing of structured data TyDe Victor Cacciari Miraldo University of Utrecht, Pierre-Evariste Dagand LIP6/CNRS , Wouter Swierstra University of Utrecht |
15:30 - 16:20 | |||
15:30 25mTalk | Affine killing TyDe | ||
15:55 25mTalk | On ringads and foldables TyDe James McKinna University of Edinburgh |
16:50 - 17:40 | |||
16:50 25mTalk | Type oriented programming for task based parallelism TyDe | ||
17:15 25mTalk | Type-directed reasoning for probabilistic, non-compositional resources TyDe Edwin Brady University of St. Andrews, UK, Kevin Hammond University of St. Andrews, UK, Christopher Schwaab University of St Andrews |