A Type Theory for Krivine-Style Evaluation and Compilation.

Kwanghoon Choi Atsushi Ohori

Published in: APLAS (2004)

Keyphrases

theoretical basis
formal theory
data sets
comparative evaluation
artificial intelligence
decision making
multimedia
special case
hidden markov models
theoretical foundation
information theory