A type-theoretic foundation of continuations and prompts.

Zena M. Ariola Hugo Herbelin Amr Sabry

Published in: ICFP (2004)

Keyphrases

data sets
data mining
case study
management system
computer vision
search algorithm
evolutionary algorithm
scheduling problem