Backwards Strictness Analysis: Proved and Improved.

Kei Davis Philip Wadler

Published in: Functional Programming (1989)

Keyphrases

data sets
trade off
image analysis
artificial intelligence
image processing
real time
databases
neural network
information retrieval
social networks
computer vision
website
image segmentation
data analysis
mobile robot
improved algorithm