Compositional Explanation of Types and Algorithmic Debugging of Type Errors.

Published in: ICFP (2001)

Keyphrases

multiple types
metadata
real world
database
databases
clustering algorithm
decision trees
evolutionary algorithm
data model
fault localization