A variant of the *(ML) *(functional) *(programming language) which adds a _(metaprogramming) facility related to _(higher-order) _(abstract syntax| abstract syntax tree). It provides a logical semantics for analyzing and manipulating name binding, alpha-conversion, capture avoiding substitution, and so on. Naturally, this framework provides a type-safe way to express syntactic manipulation, such as occurs with _(macro) systems.

<ul class="links">
<li>The _(research project| http://www.cl.cam.ac.uk/~amp12/freshml/).
</ul>
<ul class="implementation">
<li>_(FreshML| http://www.freshml.org/), an interpreted implementation.
<li>_(FreshOCaml| http://www.freshml.org/foc/), a patch to the bytecode-compiling implementation of _(OCaml).
</ul>