Program Verification Through Soft Typing.

Robert Cartwright Matthias Felleisen

Published in: ACM Comput. Surv. (1996)

Keyphrases

least squares
database
neural network
machine learning
learning environment
real world
decision making
high quality
email
recommender systems