@misc{indiciae6a5e790a9688,
  title = {Contextual Metaprogramming for Session Types},
  author = {Pedro Ângelo and Atsushi Igarashi and Yuito Murase and Vasco T. Vasconcelos},
  year = {2026},
  url = {https://arxiv.org/abs/2601.15180},
  note = {Source identifier: 2601.15180}
}