Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.

Jacques Carette Oleg Kiselyov

Published in: GPCE (2005)

Keyphrases

multistage
program code
high level
production system
programming tool
fully functional
dynamic programming

single stage
stochastic optimization
lot sizing
code generation
programming language
stochastic programming

source code
oracle database g express edition
program understanding
error handling
code examples
high level abstractions

computer programs
optimal policy
visual studio
programs written
sufficient conditions
attack detection