Type classes with more higher-order polymorphism.

Matthias Neubauer Peter Thiemann

Published in: ICFP (2002)

Keyphrases

higher order
three dimensional
similarity measure
natural images
high order
information retrieval
social networks
case study
mobile robot
low order