Login / Signup

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.

Cristiano CalcagnoEugenio MoggiWalid 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