An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming.

Takashi Suwa Atsushi Igarashi

Published in: FLOPS (2024)

Keyphrases

multistage
single stage
dynamic programming
stochastic programming
production system
attack detection
lot sizing
programming language
maximum likelihood
high level
stochastic optimization
cost function
finite horizon
parallel algorithm
optimal policy
sufficient conditions
assembly systems
lot streaming