A type-theoretic foundation of delimited continuations.

Zena M. Ariola Hugo Herbelin Amr Sabry

Published in: High. Order Symb. Comput. (2009)

Keyphrases

databases
artificial intelligence
similarity measure
bayesian networks
learning environment
theoretical foundation