What's the deal with dependent types?

Published in: TLDI (2007)

Keyphrases

e learning
special case
medical images
machine learning
learning algorithm
information systems
similarity measure
search algorithm
relational databases
management system