ICFP 2020 (series) / HOPE 2020 (series) /
HOPE 2020 Program
This is the HOPE 2020 program - see the full program for ICFP 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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 |
12:00 - 14:00 | |||
12:00 45mTalk | Higher-order Programming with Effects and Handlers — without First-Class Functions HOPE Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen, Germany | ||
12:45 45mTalk | Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical HOPE Ingo Skupin University of Tübingen, Julian Jabs University of Tübingen, David Binder University of Tübingen File Attached |
14:30 - 16:00 | |||
14:30 45mTalk | Effectful Improvement Theory HOPE Martin Ceresa UNR - CIFASIS - CONICET | ||
15:15 45mTalk | Alef: A bidirectional effect system for algebraic effects. HOPE Antonio Locascio Universidad Nacional de Rosario |