Linear dependent types in a call-by-value scenario.

Ugo Dal Lago Barbara Petit

Published in: PPDP (2012)

Keyphrases

database
artificial intelligence
digital libraries
databases
genetic algorithm
computer vision
face recognition
support vector
linear complexity