Typing First-Class Continuations in ML.

Bruce F. Duba Robert Harper David B. MacQueen

Published in: POPL (1991)

Keyphrases

maximum likelihood
real time
databases
information retrieval
feature selection
web services
bayesian networks
reinforcement learning
multi agent
semi supervised
positive examples