@misc{indiciaee03bf33430b1,
  title = {Practical Refinement Session Type Inference (Extended Version)},
  author = {Toby Ueno and Ankush Das},
  year = {2026},
  url = {https://arxiv.org/abs/2602.06715},
  note = {Source identifier: 2602.06715}
}