ICFP 2017 (series) / HOPE 2017 (series) /
HOPE 2017 Program
This is the HOPE 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 3 SepDisplayed time zone: Belfast change
Sun 3 Sep
Displayed time zone: Belfast change
09:00 - 09:10 | |||
09:00 10mDay opening | Welcome HOPE |
09:10 - 10:00 | |||
09:10 60mTalk | Invited Talk: Semantics of Effect Systems by Graded Monads HOPE Shin-ya Katsumata National Institute of Informatics |
10:30 - 11:30 | |||
10:30 30mTalk | Higher-order Programming is an Effect HOPE File Attached | ||
11:00 30mTalk | A monadic solution to the Cartwright-Felleisen-Wadler conjecture HOPE File Attached |
12:00 - 12:30 | |||
12:00 30mTalk | RustBelt: Securing the Foundations of the Rust Programming Language HOPE Ralf Jung MPI-SWS, Germany, Jacques-Henri Jourdan MPI-SWS, Germany, Robbert Krebbers Delft University of Technology, Netherlands, Derek Dreyer MPI-SWS |
14:00 - 15:00 | |||
14:00 30mTalk | Handling fibred algebraic effects HOPE Danel Ahman University of Edinburgh | ||
14:30 30mTalk | Only Control Effects and Dependent Types HOPE |
15:30 - 16:30 | |||
15:30 30mTalk | Programming a Web Server with Algebraic Effects HOPE Daan Leijen Microsoft Research | ||
16:00 30mTalk | Logical Relations for Algebraic Effects HOPE Dariusz Biernacki University of Wrocław, Maciej Piróg University of Wrocław, Piotr Polesiuk , Filip Sieczkowski University of Wrocław |
16:50 - 17:40 | |||
16:50 30mTalk | Recalling a Witness HOPE Danel Ahman University of Edinburgh, Cătălin Hriţcu Inria Paris, Kenji Maillard Inria Paris, ENS Paris, and Microsoft Research, Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research, n.n., Cédric Fournet Microsoft Research, n.n. Pre-print |