A Minimal Formulation of Session Types.

Alen Arslanagic Jorge A. Pérez Dan Frumin

Published in: CoRR (2023)

Keyphrases

real time
data structure
database
information retrieval
learning algorithm
multimedia
optimization procedure