Pure Type System conversion is always typable.

Vincent Siles Hugo Herbelin

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

Keyphrases

neural network
database
data mining
artificial intelligence
search engine
computer vision
feature selection
image processing
high quality
computational complexity
image analysis