Coercions in a polymorphic type system.

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

type checking
multiple types
data sets
real world
machine learning
image processing
training data
learning environment
viewpoint
recommender systems
special case