Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 14:30 - 15:00 at Conference Room 1 - Session Three

Sun 18 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

14:00 - 15:00
Session ThreeTyDe at Conference Room 1
14:00
30m
Talk
Applications of Applicative Proof Search
TyDe
Liam O'ConnorUNSW, Australia
14:30
30m
Talk
Liberating Effects with Rows and Handlers
TyDe
Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK