Program - ICFP 2020

Detailed Table Session Timeline Detailed Timeline

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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

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

10:00 - 11:00	KeynoteML at ML

10:00 60m Keynote		Verification of OCaml programs using CFML ML Arthur Charguéraud Inria Media Attached

11:30 - 13:10	Session 1ML at ML

11:30 25m Talk		Tracking injectivity and nominality beyond abstraction ML Jacques Garrigue Nagoya University Media Attached File Attached
11:55 25m Talk		Quantified Applicatives – API design for type-inference constraints ML Gabriel Scherer INRIA Saclay, Olivier Martinot Université de Paris Media Attached File Attached
12:20 25m Talk		High-level error messages for modules through diffing ML Florian Angeletti Inria, Gabriel Radanne Inria Media Attached File Attached
12:45 25m Talk		The Virtues of Semi-Explicit Polymorphism ML Frank Emrich University of Edinburgh, UK, Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK, Jan Stolarek University of Edinburgh, UK Media Attached File Attached

14:30 - 16:10	Session 2ML at ML

14:30 25m Talk		Nottui & Lwd: A friendly UI toolkit for the ML-programmer ML Frédéric Bour Tarides Media Attached File Attached
14:55 25m Talk		Towards better systems programming in OCaml with out-of-heap allocation (Informed Position) ML Guillaume Munch-Maccagnoni Media Attached File Attached
15:20 25m Talk		poco: An ML testbed for deductive synthesis tool design ML Matthew Sottile Noddle, LLC, Lindsay Errington Noddle, LLC Media Attached File Attached
15:45 25m Talk		Translation validation of a pattern-matching compiler ML Gabriel Scherer INRIA Saclay, Francesco Mecca University of Turin Media Attached File Attached

ML 2020 Program

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

Tracks

Workshops

Co-hosted Symposia

ML 2020 Program

Switch Program View

Program Display Configuration

Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

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