Type Inference in Polymorphic Type Discipline.

Paola Giannini Simona Ronchi Della Rocca

Published in: TACS (1991)

Keyphrases

information systems
type checking
knowledge representation
data sets
image processing
case study
pairwise
multiresolution
special case
probability distribution