ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy

This program is tentative and subject to change.

Sat 7 Sep 2024 09:00 - 09:22 at Green 3 - OCaml compiler features and optimizations

We present and discuss the design and implementation of \emph {modular explicits}, an extension of \OCaml first-class modules with \emph {module-dependent functions}, functions taking first-class modules as arguments. We show some difficulties with the present use of first-class modules and how modular explicits solve them in a simpler, more direct way. Modular explicits are fully compatible with, and can be presented as an extension of, first-class modules. Interestingly, both the formalization and the implementation reuse the mechanism designed to ensure principal types in the presence of semi-explicit first-class polymorphism and \OCaml polymorphic methods. Modular explicits are also meant to be the underlying language in which \emph {modular implicits}, \ie module arguments left implicit from their signatures, should be elaborated.

Paper (ocaml2024-final11.pdf)316KiB

This program is tentative and subject to change.

Sat 7 Sep

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

09:00 - 10:30
OCaml compiler features and optimizationsOCaml at Green 3

The session will be live-streamed, and a Discord server will be available for remote attendees. Neither requires registration.

09:00
22m
Talk
On the design and implementation of Modular Explicits
OCaml
Samuel Vivien INRIA & École Normale Supérieure | Université PSL, Didier Rémy Inria
Pre-print File Attached
09:22
22m
Talk
Flambda2 Validator
OCaml
Irene Yoon INRIA Paris, Chris Casinghino Jane Street
Pre-print File Attached
09:45
22m
Talk
A Non-allocating Optionin-person
OCaml
Pre-print File Attached
10:07
22m
Talk
Mixed Blocks: Storing More Fields Flatin-person
OCaml
Nicholas Roberts Jane Street
Pre-print File Attached