Monitors and blame assignment for higher-order session types.

Limin Jia Hannah Gommerstadt Frank Pfenning

Published in: POPL (2016)

Keyphrases

higher order
pairwise
databases
high order
conditional random fields
search algorithm
computational complexity
lower order
low order
markov models
evolutionary algorithm
data structure
three dimensional
decision making
machine learning
data mining
real world