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

Call-by-push-value provides the fine-grained primitives that make up call-by-value and call-by-name lambda-calculus with effects. These primitives can be seen in a wide range of semantics, from operational and machine semantics to domain, possible world, game and continuation models.

But does call-by-push-value have to be exactly like it is? (Spoiler, yes.) What variants could be considered, and what are their advantages and disadvantages? This talk will introduce call-by-push-value, but also look at some related systems, involving concepts such as jumbo connectives, ultimate patterns, complex values and commutativity.

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
HOPE
Paul Blain LevyUniversity of Birmingham
09:15 - 10:00
Talk
HOPE
Guilhem JaberUniversité de Nantes, Andrzej MurawskiUniversity of Oxford
10:00 - 10:45
Talk
HOPE
Tarmo UustaluReykjavik University, Tallinn University of Technology, Niels VoorneveldTallinn University of Technology
10:45 - 11:30
Talk
HOPE
Patrick BahrIT University of Copenhagen, Christian Uldal GraulundIT University of Copenhagen, Rasmus Ejlers MøgelbergIT University of Copenhagen