Chaperone contracts for higher-order sessions.

Hernán C. Melgratti Luca Padovani

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

higher order
high order
natural images
markov models
pairwise
lower order
supply chain
markov random field
case study
lambda calculus
real world
genetic algorithm
search algorithm
conditional random fields
low order
web sessions