Program - ICFP 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Keynote talkHOPE at Orange 2

09:00 60m Keynote		An introduction to synthetic guarded domain theory with applications to probabilistic programming languages HOPE Rasmus Ejlers Møgelberg IT University of Copenhagen Pre-print

11:00 - 12:30	Session 1HOPE at Orange 2

11:00 30m Talk		Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers HOPE Raphaëlle Crubillé CNRS, Houssein Mansour Aix-Marseille Université
11:30 30m Talk		An Incremental Approach to the Semantics of Borrowing HOPE Brianna Marshall Northeastern University, Andrew Wagner Northeastern University, John Li Northeastern University, Olek Gierczak Northeastern University, Amal Ahmed Northeastern University, USA File Attached
12:00 30m Talk		Towards a linear functional translation for borrowing HOPE Sidney Congard

14:00 - 15:30	Session 2HOPE at Orange 2

14:00 30m Talk		Effectful Assembly Programming with AsmFX HOPE Brian Campbell University of Edinburgh, Sam Lindley University of Edinburgh, Wilmer Ricciotti University of Edinburgh, UK, Ian Stark The University of Edinburgh File Attached
14:30 30m Talk		Logical Relations for Effect Capabilities HOPE Patrycja Balik University of Wrocław, Piotr Polesiuk University of Wrocław
15:00 30m Talk		Paella: algebraic effects with parameters and their handlers HOPE Jesse Sigal University of Edinburgh, Ohad Kammar University of Edinburgh, Cristina Matache University of Edinburgh, Conor McBride University of Strathclyde Media Attached File Attached

16:00 - 17:30	Session 3HOPE at Orange 2

16:00 30m Talk		Arrows as applicatives in a monad HOPE Leo White Jane Street File Attached
16:30 30m Talk		Mechanized monadic equational reasoning for ML references HOPE Reynald Affeldt AIST, Jacques Garrigue Nagoya University, Takafumi Saikawa Nagoya University File Attached
17:00 30m Talk		Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads HOPE Cyrus Omar University of Michigan, Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK File Attached

HOPE 2024 Program

Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

HOPE 2024 Program

Switch Program View

Program Display Configuration

Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change