Session Types with Arithmetic Refinements.

Ankush Das Frank Pfenning

Published in: CONCUR (2020)

Keyphrases

databases
video sequences
neural network
real world
genetic algorithm
case study
probabilistic model