Sign in

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

Matthias KeilPeter 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