Login / Signup
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