Meta OCaml

Program-Transformation.Org: The Program Transformation Wiki
MetaOCaml is a compiled, type-safe, multi-stage programming language. It is a multi-stage extension of the OCaml programming language, and provides three basic constructs called Brackets, Escape, and Run for building, combining, and executing future-stage computations, respectively.

Learn more about MetaOCaml at www.metaocaml.org