ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Thu 15 Sep 2022 14:40 - 15:00 at Štih - Tools & Metaprogramming Chair(s): Ningning Xie

We describe a use-case for strong call-by-need reduction in the OCaml compiler (which could apply to any programming language with a sufficiently rich module language), and our implementation of a strong call-by-value evaluator.

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30
Tools & MetaprogrammingML at Štih
Chair(s): Ningning Xie University of Toronto
14:00
20m
Talk
Necro ML: Generating OCaml Interpreters
ML
Louis Noizet Univ. Rennes 1, Alan Schmitt Inria
Pre-print File Attached
14:20
20m
Talk
Module Shapes for Modern Tooling
ML
Thomas Réfis Tarides, Ulysse Gérard Tarides, Leo White Jane Street
File Attached
14:40
20m
Talk
An OCaml use case for strong call-by-need reduction
ML
15:00
20m
Talk
Do Mutable Variables Have Reference Types?
ML
Oleg Kiselyov Tohoku University, Japan
Pre-print