Subtyping Dependent Types (Summary).

David Aspinall Adriana B. Compagnoni

Published in: LICS (1996)

Keyphrases

genetic algorithm
search engine
computer vision
real time
learning algorithm
information systems
image processing
cooperative