Completeness Results for a Polymorphic Type System.

Mario Coppo Elio Giovannetti

Published in: CAAP (1983)

Keyphrases

type checking
databases
neural network
data sets
information systems
image segmentation
multiscale