@misc{indiciae1277a7a8f3f2,
  title = {EXPRESSing Session Types},
  author = {Ilaria Castellani and Ornela Dardha and Luca Padovani and Davide Sangiorgi},
  year = {2023},
  doi = {10.4204/eptcs.387.2},
  url = {https://arxiv.org/abs/2309.07303},
  note = {Source identifier: 2309.07303}
}