Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 10:45 - 11:15 at Conference Room 3 - Session 1 (Effects)

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

10:45 - 12:15
Session 1 (Effects)HOPE at Conference Room 3
10:45
30m
Talk
Effects as Capabilities
HOPE
Fengyun Liu EPFL, Nicolas Stucki EPFL, LAMP, Sandro Stucki EPFL, Nada Amin EPFL, Martin Odersky Ecole Polytechnique Federale de Lausanne
11:15
30m
Talk
A Logical Account of a Type-and-Effect System
HOPE
Morten Krogh-Jespersen Aarhus University, Kasper Svendsen Aarhus University, Lars Birkedal Aarhus University, Denmark
11:45
30m
Talk
Simple Dependent Polymorphic I/O Effects
HOPE
Amin Timany , Bart Jacobs iMinds - Distrinet, KU Leuven