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

We give a short description of a very simple programming language, with a simple typing system that features explicit dependent and polymorphic I/O effects. This system having been inspired by type and effect systems allows types to express what I/O operations the typed program possibly performs. The aim of this system is not to provide a way to prove functional correctness of programs with I/O effects but rather demonstrate and argue that a simple type and effect system can allow us to get an upper bound on the I/O operations that a program performs. We present illustrative examples shedding light on possible uses of such a system. We briefly discuss possible directions for further work.

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

10:45 - 12:15: Session 1 (Effects)HOPE at Conference Room 3
10:45 - 11:15
Fengyun LiuEPFL, Nicolas StuckiEPFL, LAMP, Sandro StuckiEPFL, Nada AminEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
11:15 - 11:45
Morten Krogh-JespersenAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Denmark
11:45 - 12:15
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven