A Dependently Typed Multi-Stage Calculus.

Akira Kawata Atsushi Igarashi

Published in: CoRR (2019)

Keyphrases

multistage
lambda calculus
production system
dynamic programming
higher order
stochastic optimization
single stage
lot sizing
stochastic programming
finite horizon
attack detection
optimal policy
production line
database query languages