Using higher-order contracts to model session types.

Giovanni Bernardi Matthew Hennessy

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

mathematical model
higher order
management system
simulation model
experimental data
theoretical framework
computational model
video sequences
high level
cost function
data sets
maximum likelihood
theoretical analysis
image segmentation
e learning
social networks
learning algorithm
neural network