Polarized Substructural Session Types.

Frank Pfenning Dennis Griffith

Published in: FoSSaCS (2015)

Keyphrases

expert systems
real time
machine learning
neural network
preprocessing
hidden markov models
mobile robot
user behavior
multiple types