Skalpel: A constraint-based type error slicer for Standard ML.

Vincent Rahli Joe B. Wells John Pirie Fairouz Kamareddine

Published in: J. Symb. Comput. (2017)

Keyphrases

maximum likelihood
database
error rate
error bounds
computer vision
decision trees
case study
three dimensional
search algorithm
expert systems
information technology
error analysis