Write a Blog >>
TyDe 2020
Sun 23 Aug 2020
co-located with ICFP 2020
VenueOnline
Room nameHOPE
Floor0
Room InformationNo extra information 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

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
12:00 - 14:00
Session 2HOPE at HOPE
12:00
45m
Talk
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
45m
Talk
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
Session 3HOPE at HOPE
14:30
45m
Talk
Effectful Improvement Theory
HOPE
Martin Ceresa UNR - CIFASIS - CONICET
15:15
45m
Talk
Alef: A bidirectional effect system for algebraic effects.
HOPE
Antonio Locascio Universidad Nacional de Rosario

Sun 23 Aug

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

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