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

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:30 - 10:30	Session 1ML at Orange 2 Chair(s): David Allsopp Tarides

09:30 30m Talk		Designing interrupts for ML and OCaml ML Guillaume Munch-Maccagnoni INRIA, Leo White Jane Street, Stephen Dolan Jane Street
10:00 30m Talk		Fram: Named Parameters Pushed to the Limit ML Patrycja Balik University of Wrocław, Piotr Polesiuk University of Wrocław Media Attached

11:00 - 12:30	Session 2ML at Orange 2 Chair(s): Martin Elsman University of Copenhagen

11:00 30m Talk		Is there a use for linear types? ML Guillaume Munch-Maccagnoni INRIA
11:30 30m Talk		Automatic Differentiation via Effects and Handlers in OCaml ML Jesse Sigal University of Edinburgh Pre-print File Attached
12:00 30m Talk		Rethinking the Value Restriction ML Stephen Dolan Jane Street

14:00 - 15:30	Session 3ML at Orange 2 Chair(s): Guillaume Munch-Maccagnoni INRIA

14:00 30m Talk		Safe Pattern Generation for Multi-Stage Programming ML Ethan Range University of Cambridge, Jeremy Yallop University of Cambridge Pre-print Media Attached
14:30 30m Talk		Pattern-matching on mutable values: danger! ML Gabriel Scherer Université Paris Cité - Inria - CNRS, Thomas Réfis , Nicholas Roberts Jane Street
15:00 30m Talk		Light-speed type unification modulo isomorphisms ML Emmanuel Arrighi Ens Lyon, Gabriel Radanne Inria File Attached

16:00 - 17:30	Session 4ML at Orange 2 Chair(s): Jesse Tov Jane Street Europe

16:00 30m Talk		Labeled Tuples (Informed Position) ML Chris Casinghino Jane Street, Ryan Tjoa University of Washington
16:30 30m Talk		Wasm_of_ocaml ML Jérôme Vouillon

ML 2024 Program

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

ML 2024 Program

Switch Program View

Program Display Configuration

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change