Contracts for higher-order functions.

Robert Bruce Findler Matthias Felleisen

Published in: ICFP (2002)

Keyphrases

higher order
natural images
supply chain
pairwise
high order
lambda calculus
database
data mining
similarity measure
expert systems
artificial neural networks
markov random field
basis functions
lower order