Strictness Analysis in 4D.

Kei Davis Philip Wadler

Published in: Functional Programming (1990)

Keyphrases

neural network
database
real time
face recognition
wide range
automatic analysis
artificial intelligence
information systems
search algorithm
data analysis
feature space
statistical analysis