MetaKlaim: a type safe multi-stage language for global computing.

Gian Luigi Ferrari Eugenio Moggi Rosario Pugliese

Published in: Math. Struct. Comput. Sci. (2004)

Keyphrases

multistage
strongly typed
single stage
dynamic programming
production system
stochastic optimization
lot sizing
stochastic programming
programming language
type checking
optimal policy
attack detection
language learning
natural language
assembly systems
uniform manner
lot streaming