This is quite old. MetaOCaml has been rewritten since (the new version is linked in another comment) A better ressource to learn about multi stage metaprog in

This is quite old. MetaOCaml has been rewritten since (the new version is linked in another comment) A better ressource to learn about multi stage metaprog in OCaml is Jeremy Yallop's course on advanced functional programming: See "staging" sections: https://www.cl.cam.ac.uk/teaching/1415/L28/materials.html https://www.cl.cam.ac.uk/teaching/1415/L28/materials.html Interactive notebook: http://ocamllabs.github.io/iocamljs/staging.html http://ocamllabs.github.io/iocamljs/staging.html