MetaOCaml: An OCaml dialect for multi-stage programming http://okmij.org/ftp/ML/MetaOCaml.html #OCaml