@misc{indiciae7a771677c81a,
  title = {Gradual Session Types},
  author = {Atsushi Igarashi and Peter Thiemann and Yuya Tsuda and Vasco T. Vasconcelos and Philip Wadler},
  year = {2019},
  doi = {10.1017/s0956796819000169},
  url = {https://arxiv.org/abs/1809.05649},
  note = {Source identifier: 1809.05649}
}