Do we need dependent types?

Daniel Fridlender Mia Indrika

Published in: J. Funct. Program. (2000)

Keyphrases

genetic algorithm
artificial intelligence
computer vision
pattern recognition
relational databases
database
information retrieval
metadata
website
database systems
multiscale
multi agent
mobile devices
image analysis
multiple types