"Using MetaML: A Staged Programming Language."

Tim Sheard (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics