Program - ICFP 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	HOPE: Session 1HOPE at Vashon Chair(s): Max S. New University of Michigan

09:00 30m Talk		One Weird Trick to Untie Landin's Knot HOPE Paulette Koronkevich University of British Columbia, William J. Bowman University of British Columbia
09:30 30m Talk		Operational game semantics for generative algebraic effects and handlersRemote HOPE Hamza Jaâfar Inria, Guilhem Jaber Nantes Université
10:00 30m Talk		Higher-Order Weakest Precondition Transformers via a CPS Transformation HOPE Satoshi Kura National Institute of Informatics Pre-print

11:00 - 12:30	HOPE: Session 2HOPE at Vashon Chair(s): Daniel Hillerström Huawei Zurich Research Center

11:00 30m Talk		Event-Driven Multiparty Session Actors HOPE Simon Fowler University of Glasgow, Raymond Hu Queen Mary University of London Pre-print
11:30 30m Talk		Flattening Meets Effects: A Surprising Connection HOPE Ezra e. k. Cooper Independent

14:00 - 15:30	HOPE: Session 3HOPE at Vashon Chair(s): Daniel Hillerström Huawei Zurich Research Center

14:00 30m Talk		Continuations and Coexponentials HOPE Vikraman Choudhury University of Glasgow
14:30 30m Talk		Granite: Compositional Functional Logic Programming HOPE Nick Rioux University of Pennsylvania, Steve Zdancewic University of Pennsylvania
15:00 30m Talk		Semantic foundations of potential-synthesis for expected amortised-cost analysis HOPE Ohad Kammar University of Edinburgh, Georg Moser University of Innsbruck

16:00 - 17:30	HOPE: Session 4HOPE at Vashon Chair(s): Max S. New University of Michigan

16:00 30m Talk		A proof of normalization for effect handlers HOPE Wiktor Kuchta University of Wrocław File Attached
16:30 30m Talk		Free Variable as Effect, in Practice HOPE Oleg Kiselyov Tohoku University File Attached

HOPE 2023 Program

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Workshops

Co-hosted Symposia

HOPE 2023 Program

Switch Program View

Program Display Configuration

Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change