Multi-stage Programming: Its Theory and Applications

MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming languages such as Standard ML, MetaML provides three staging annotations. These staging annotations allow the construction, combination, and execution of object-programs. Our thesis is that MetaML's three staging annotations provide a useful, theoretically sound basis for building program generators. This dissertation reports on our study of MetaML's staging constructs, their use, their implementation, and their formal semantics. Our results include an extended example of where MetaML allows us to produce ecient programs, an explanation of why implementing these constructs in traditional ways can be challenging, two formulations of MetaML's semantics, a type system for MetaML, and a proposal for extending MetaML with a type construct for closedness. The dissertation consolidates a number of ...

• Type: Dissertation
• Year: 1999
• Where: OGI
• Authors: Walid Taha
• Keywords: Multi-stage Programming, Type Theory