Soft Typing with Conditional Types.

Alexander Aiken Edward L. Wimmers T. K. Lakshman

Published in: POPL (1994)

Keyphrases

case study
databases
neural network
machine learning
artificial intelligence
social networks
three dimensional
high level
similarity measure
multi agent
video sequences
support vector
computational complexity
mobile phone