A compile-time relfective variant of the _(ML) *(programming language) published _(here|http://www.cse.ogi.edu/~sheard/crml.html).
