@misc{indiciaeb44163789345,
  title = {Polymorphic Typestate for Session Types},
  author = {Hannes Saffrich and Peter Thiemann},
  year = {2023},
  doi = {10.1145/3610612.3610624},
  url = {https://arxiv.org/abs/2210.17335},
  note = {Source identifier: 2210.17335}
}