Effects as Capabilities (HOPE 2016)

Write a Blog >>

Sun 18 - Sat 24 September 2016 Nara, Japan

Who

Fengyun Liu, Nicolas Stucki, Sandro Stucki, Nada Amin, Martin Odersky

Track

HOPE 2016

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 18 Sep 2016 10:45 - 11:15 at Conference Room 3 - Session 1 (Effects)

Fengyun Liu

EPFL

Switzerland

Nicolas Stucki

EPFL, LAMP

Switzerland

Sandro Stucki

EPFL

Switzerland

Nada Amin

EPFL

Switzerland

Martin Odersky

Ecole Polytechnique Federale de Lausanne

Switzerland

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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