Using Higher-Order Contracts to Model Session Types (Extended Abstract).
Giovanni BernardiMatthew HennessyPublished in: CONCUR (2014)
Keyphrases
- extended abstract
- higher order
- high level
- probabilistic model
- theoretical framework
- network model
- cost function
- prediction model
- formal model
- low order
- machine learning
- neural network model
- high order
- computational model
- parameter estimation
- management system
- probability distribution
- artificial neural networks
- multiscale