State Dependent IO-Monads in Type Theory.

Markus Michelbrink Anton Setzer

Published in: CTCS (2004)

Keyphrases

state dependent
large deviations
steady state
optimal policy
queueing networks
asymptotically optimal
service rates
data mining
single server
customer demand
markov chain
machine learning
web pages
parallel computing
product form