Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 09:15 - 10:00 at HOPE - Keynote and Session 1

In this work, we explore the connections between the semantics characterizations of the absence of some side-effects (control-operators and mutable states) that have been designed in game semantics (well-bracketing and visibility), with the one that has been designed for Kripke logical relations (public transitions and backtracking).

Sun 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

08:00 - 11:30
Keynote and Session 1HOPE at HOPE
08:00
60m
Keynote
Variants of call-by-push-value
HOPE
Paul Blain Levy University of Birmingham
09:15
45m
Talk
Kripke open relations and operational game semantics
HOPE
Guilhem Jaber Université de Nantes, Andrzej Murawski University of Oxford
10:00
45m
Talk
Merging coeffect production into effect handling
HOPE
Tarmo Uustalu Reykjavik University, Tallinn University of Technology, Niels Voorneveld Tallinn University of Technology
10:45
45m
Talk
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
HOPE
Patrick Bahr IT University of Copenhagen, Christian Uldal Graulund IT University of Copenhagen, Rasmus Ejlers Møgelberg IT University of Copenhagen