A Dependently Typed Multi-stage Calculus.

Akira Kawata Atsushi Igarashi

Published in: APLAS (2019)

Keyphrases

multistage
lambda calculus
single stage
higher order
stochastic programming
dynamic programming
production system
lot sizing
stochastic optimization
attack detection
database query languages
machine learning
predicate calculus
lot streaming