Meta-programming, writing programs that write other programs, involves two kinds of languages. The meta-language is the language in which meta-programs, which construct o [...]

This thesis develops the core type system for a Haskell-like functional programming language that directly supports dynamic, active documents. The first part prese [...]

A new language incorporating both ML-style type checking and a limited form of reflection is defined by giving an interpreter and showing how this interpreter may be inte [...]

Timely and accurate documentation of medical information remains a formidable challenge in healthcare. This challenge has persisted despite rapid advances in computer tec [...]