Permission-based ownership: encapsulating state in higher-order typed languages.

Neelakantan R. Krishnaswami Jonathan Aldrich

Published in: PLDI (2005)

Keyphrases

higher order
pairwise
lambda calculus
state space
markov random field
third party
natural images
expressive power
high order
lower order
low order
conditional random fields
database query languages
cd rom
data sets
query language
similarity measure