Multi-Stage Programming : Its Theory and Applications

MetaML is a statically typed functional programming language with special support for programgeneration. In addition to providing the standard features of contemporary programminglanguages such as Standard ML, MetaML provides three staging annotations. These staging annotationsallow the construction...

Full description

Bibliographic Details
Main Author: Taha, Walid
Format: Doctoral Thesis
Language:English
Published: Oregon Graduate Institute of Science and Technology 1999
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-15052