TY  - RPRT
TI  - Domain-Aware Session Types (Extended Version)
AU  - Luís Caires
AU  - Jorge A. Pérez
AU  - Frank Pfenning
AU  - Bernardo Toninho
PY  - 2019
UR  - https://arxiv.org/abs/1907.01318
ID  - 1907.01318
ER  -