ICFP 2020 (series) / HOPE 2020 (series) / HOPE 2020 /
Merging coeffect production into effect handling
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 AugDisplayed time zone: Eastern Time (US & Canada) change
Sun 23 Aug
Displayed time zone: Eastern Time (US & Canada) change
08:00 - 11:30 | |||
08:00 60mKeynote | Variants of call-by-push-value HOPE Paul Blain Levy University of Birmingham | ||
09:15 45mTalk | Kripke open relations and operational game semantics HOPE | ||
10:00 45mTalk | Merging coeffect production into effect handling HOPE Tarmo Uustalu Reykjavik University, Tallinn University of Technology, Niels Voorneveld Tallinn University of Technology | ||
10:45 45mTalk | 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 |