Login / Signup
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