TIL: A Type-Directed Optimizing Compiler for ML.

David Tarditi J. Gregory Morrisett Perry Cheng Christopher A. Stone Robert Harper Peter Lee

Published in: PLDI (1996)

Keyphrases

maximum likelihood
programming language
databases
general purpose
high level
information retrieval
artificial intelligence
decision making
decision trees
image sequences
data structure
search algorithm
distributed memory machines