Sign in
Domain-Aware Session Types.
Luís Caires
Jorge A. Pérez
Frank Pfenning
Bernardo Toninho
Published in:
CONCUR (2019)
Keyphrases
</>
general purpose
domain independent
domain specific
learning algorithm
data structure