TY  - RPRT
TI  - Gradual Session Types
AU  - Atsushi Igarashi
AU  - Peter Thiemann
AU  - Yuya Tsuda
AU  - Vasco T. Vasconcelos
AU  - Philip Wadler
PY  - 2019
DO  - 10.1017/s0956796819000169
UR  - https://arxiv.org/abs/1809.05649
ID  - 1809.05649
ER  -