Sign in
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