Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 09:10 - 09:45 at Stockholm - Session 1

Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:20
09:00
10m
Day opening
Welcome
PLMW @ ICFP
David Van Horn University of Maryland, USA
09:10
35m
Talk
Effect handler oriented programming
PLMW @ ICFP
Sam Lindley The University of Edinburgh and Imperial College London
09:45
35m
Talk
Types and verification
PLMW @ ICFP
Niki Vazou IMDEA Software Institute