TY  - RPRT
TI  - Label-Dependent Session Types
AU  - Peter Thiemann
AU  - Vasco T. Vasconcelos
PY  - 2019
DO  - 10.1145/3371135
UR  - https://arxiv.org/abs/1911.00705
ID  - 1911.00705
ER  -