ICFP 2002: Contracts for higher-order functions.

Robert Bruce Findler Matthias Felleisen

Published in: ACM SIGPLAN Notices (2013)

Keyphrases

higher order
high order
pairwise
natural images
computer vision
supply chain
databases
data structure
digital libraries
markov random field
markov models
machine learning
learning algorithm
case study
three dimensional
denoising