A Monadic Multi-stage Metalanguage.

Eugenio Moggi Sonia Fagorzi

Published in: FoSSaCS (2003)

Keyphrases

multistage
deductive databases
production system
dynamic programming
datalog queries
datalog programs
single stage
stochastic programming
stochastic optimization
lot sizing
attack detection
optimal policy
cost function
lot streaming
bullwhip effect