TreatJS: Higher-Order Contracts for JavaScripts.

Matthias Keil Peter Thiemann

Published in: ECOOP (2015)

Keyphrases

higher order
high order
natural images
supply chain
pairwise
markov models
low order
markov random field
computer vision
three dimensional
databases
conditional random fields
anti unification
lambda calculus