Corpus ID: 15707400

A Gentle Introduction to Multi-stage Programming * Preliminary Draft

  title={A Gentle Introduction to Multi-stage Programming * Preliminary Draft},
  author={Walid Taha},
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concisely, carefully designed language extensions that support runtime code generation and program execution. Additionally, type systems for MSP languages are designed to statically ensure that dynamically generated programs are type safe (and therefore require no type checking after they are generated). This tutorial is aimed at the… Expand


Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming
  • 46
  • PDF
Multi-Stage Programming: Axiomatization and Type Safety
  • 69
Typeful Programming
  • L. Cardelli
  • Computer Science
  • Formal Description of Programming Concepts
  • 1989
  • 207
  • PDF
Staged Notational Definitions
  • 20
  • PDF
Improving binding times without explicit CPS-conversion
  • 128
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
  • 139
  • PDF
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
  • 108
  • PDF
An Idealized MetaML: Simpler, and More Expressive
  • 102
  • PDF
A Syntactic Approach to Type Soundness
  • 1,198
  • PDF
Partial evaluation and automatic program generation
  • 1,715
  • Highly Influential
  • PDF