Strictness analysis and polymorphic invariance.

Samson Abramsky

Published in: Programs as Data Objects (1985)

Keyphrases

neural network
database
multiscale
pattern recognition
quantitative analysis
real time
information retrieval
wide range
automatic analysis