Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog BER MetaOCaml -- an OCaml dialect for multi-stage programming