ICFP 2023 (series) / Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 (series) /
Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 Program
This is the Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 program - see the full program for ICFP 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | ML Workshop: Session 1Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent Chair(s): Jacques Garrigue Nagoya University | ||
09:00 30mTalk | Resource polymorphism: proposal for integrating first-class resources into MLRemote Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
09:30 30mTalk | Modernizing Standard ML of New Jersey: A Status Report Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
10:00 30mTalk | Semi-explicit polymorphic parameters Higher-order, Typed, Inferred, Strict: ML Family Workshop Leo White Jane Street |
11:00 - 12:30 | ML Workshop: Session 2Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent Chair(s): Oleg Kiselyov Tohoku University | ||
11:00 30mTalk | A New Standard ML Prettyprinter Library, An Experience Report Higher-order, Typed, Inferred, Strict: ML Family Workshop David MacQueen University of Chicago (Emeritus) | ||
11:30 30mTalk | Exploring Perceus For OCaml Higher-order, Typed, Inferred, Strict: ML Family Workshop Pre-print | ||
12:00 30mTalk | Immutable Arrays Help Mutating Arrays More Efficiently Higher-order, Typed, Inferred, Strict: ML Family Workshop Sven-Bodo Scholz Heriot-Watt University |
14:00 - 15:30 | |||
14:00 30mTalk | Programming with Explicit Effects in ReML Higher-order, Typed, Inferred, Strict: ML Family Workshop Martin Elsman University of Copenhagen, Denmark | ||
14:30 30mTalk | Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
15:00 30mTalk | Layout Polymorphism: Using static computation to allow efficient polymorphism over variable representations Higher-order, Typed, Inferred, Strict: ML Family Workshop Richard A. Eisenberg Jane Street File Attached |
16:00 - 17:30 | ML Workshop: Session 4Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent Chair(s): Oleg Kiselyov Tohoku University | ||
16:00 30mTalk | Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop) Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
16:30 30mTalk | The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser Higher-order, Typed, Inferred, Strict: ML Family Workshop Benoît Montagu Inria Pre-print Media Attached File Attached |