A Type-Based Compiler for Standard ML.

Zhong Shao Andrew W. Appel

Published in: PLDI (1995)

Keyphrases

maximum likelihood
three dimensional
real time
search algorithm
special case
general purpose