WG211/M22Yallop

From WG 2.11
Revision as of 19:49, 27 April 2023 by Jacques (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

I'll describe work in progress to extend OCaml with support for typed, hygienic, compile-time computation, drawing inspiration and ideas from MetaOCaml and Racket.

File:Macros.pdf