Refinement-Type Checker for Standard ML.

Published in: AMAST (1997)

Keyphrases

maximum likelihood
artificial intelligence
high level
real time
case study
search algorithm
computational complexity
object recognition
digital libraries
expert systems
pairwise