MetaML
A higher-order extension of the ML functional programming language for staged metaprogramming, implemented on SML/NJ at OGI university.- The implementation home page.
- The Mustang project.
- MetaOCaml, a similar variant of OCaml which seems to have been active more recently.
This page is linked from: Metaprogramming