Nested Session Types.

Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning

Published in: ACM Trans. Program. Lang. Syst. (2022)

Keyphrases

neural network
machine learning
hidden markov models
real time
data sets
knowledge base
multimedia
case study
data streams
medical images