Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.

Steven E. Ganz Amr Sabry Walid Taha

Published in: ICFP (2001)

Keyphrases

multistage
single stage
dynamic programming
production system
lot sizing
stochastic optimization
key features
stochastic programming
macro operators
assembly systems
attack detection
generative model
production line
macro actions