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

Algebras give us a way to interpret or handle effectful computations, and can be used as a lifting of quantitative predicates. A coeffect producer describes the dynamics of the environment, which can be consulted by a program, or can be used to resolve issues raised by a program. In this talk, we discuss a method of using an interaction law between the program and the environment, to merge an environment dynamics given by a coalgebra into a handler of residual effects after interaction given by an algebra. This results in a new algebra that can handle the effects of the program, without interaction with the environment.

Sun 23 Aug
Times are displayed in 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 LevyUniversity of Birmingham
09:15
45m
Talk
Kripke open relations and operational game semantics
HOPE
Guilhem JaberUniversité de Nantes, Andrzej MurawskiUniversity of Oxford
10:00
45m
Talk
Merging coeffect production into effect handling
HOPE
Tarmo UustaluReykjavik University, Tallinn University of Technology, Niels VoorneveldTallinn University of Technology
10:45
45m
Talk
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
HOPE
Patrick BahrIT University of Copenhagen, Christian Uldal GraulundIT University of Copenhagen, Rasmus Ejlers MøgelbergIT University of Copenhagen