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

Implicit heterogeneous metaprogramming (a.k.a. offshoring) is an attractive approach for generating C with some correctness guarantees: generate OCaml code, where the correctness guarantees are easier to establish, and then map that code to C. The key idea is that simple imperative OCaml code looks like a non-standard notation for C. Regretfully, it is false, when it comes to mutable variables. In the past, the approach was salvaged by imposing strong ad hoc restrictions. The present paper for the first time investigates the problem systematically and discovers solutions while avoiding any restrictions. The title question is the key.

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 Cambridge
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
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