Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Fri 28 Aug 2020 12:30 - 13:00 at OCaml - Experience

LexiFi maintains an OCaml compiler extension that enables introspection through runtime type representations. Recently, we implemented a syntax extension (PPX) that enables the use of LexiFi runtime types on vanilla compilers. We propose to present our publicly available runtime types and their features. Most notably, we want to present a mechanism for pattern matching on runtime types with holes.

This program is tentative and subject to change.

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

ocaml-2020-papers
11:30 - 13:30: OCaml 2020 - Experience at OCaml
ocaml-2020-papers11:30 - 12:00
Talk
Sebastien MondetMount Sinai - Hammer Lab
ocaml-2020-papers12:00 - 12:30
Talk
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Pre-print
ocaml-2020-papers12:30 - 13:00
Talk
Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi
ocaml-2020-papers13:00 - 13:30
Talk
Paul StecklerO(1) Labs, Matthew RyanO(1) Labs