Login / Signup
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.
Cristiano Calcagno
Eugenio Moggi
Walid Taha
Published in:
ICALP (2000)
Keyphrases
</>
multistage
production system
single stage
stochastic programming
stochastic optimization
dynamic programming
programming language
lot sizing
programming environment
assembly systems
special case