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