WG211/M22Yallop
From WG 2.11
Jump to navigationJump to 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.