Bringing Mixed-Stage Programming to OCaml (Keynote)

Abstract

Over the last three decades, multi-stage programming has been used to write high-level, type-safe, optimising code generators for a wide variety of domains, from database queries and stream processing to geometry, parsing, and differentiable programming.