Higher-Order Size Checking without Subtyping.

Attila Góbi Olha Shkaravska Marko C. J. D. van Eekelen

Published in: Trends in Functional Programming (2012)

Keyphrases

higher order
scales linearly
pairwise
information systems
similarity measure
natural images
high order
database
neural network
case study
video sequences
relational databases
standard deviation