Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameHOPE
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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 - 09:00
Keynote
Variants of call-by-push-value
HOPE
Paul Blain LevyUniversity of Birmingham
09:15 - 10:00
Talk
Kripke open relations and operational game semantics
HOPE
Guilhem JaberUniversité de Nantes, Andrzej MurawskiUniversity of Oxford
10:00 - 10:45
Talk
Merging coeffect production into effect handling
HOPE
Tarmo UustaluReykjavik University, Tallinn University of Technology, Niels VoorneveldTallinn University of Technology
10:45 - 11:30
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
12:00 - 14:00: Session 2HOPE at HOPE
12:00 - 12:45
Talk
Higher-order Programming with Effects and Handlers — without First-Class Functions
HOPE
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany
12:45 - 13:30
Talk
Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical
HOPE
Ingo SkupinUniversity of Tübingen, Julian JabsUniversity of Tübingen, David BinderUniversity of Tübingen
File Attached
14:30 - 16:00: Session 3HOPE at HOPE
14:30 - 15:15
Talk
Effectful Improvement Theory
HOPE
Martin CeresaUNR - CIFASIS - CONICET
15:15 - 16:00
Talk
Alef: A bidirectional effect system for algebraic effects.
HOPE
Antonio LocascioUniversidad Nacional de Rosario

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:0030
HOPE