Lazy Type Inference for the Strictness Analysis of Lists.

Chris Hankin Daniel Le Métayer

Published in: ESOP (1994)

Keyphrases

statistical analysis
real time
data sets
neural network
artificial intelligence
databases
machine learning
computer vision
decision making
multimedia
expert systems
pairwise
mobile robot