Blame assignment for higher-order contracts with intersection and union.

Matthias Keil Peter Thiemann

Published in: ICFP (2015)

Keyphrases

higher order
high order
natural images
supply chain
markov random field
low order
real world
information retrieval
pairwise
lambda calculus
databases
neural network
electronic commerce