@misc{indiciae696a4ff9d9d0,
  title = {Label-Dependent Session Types},
  author = {Peter Thiemann and Vasco T. Vasconcelos},
  year = {2019},
  doi = {10.1145/3371135},
  url = {https://arxiv.org/abs/1911.00705},
  note = {Source identifier: 1911.00705}
}