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...
Main Author: | |
---|---|
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 |