TY  - RPRT
TI  - Contextual Metaprogramming for Session Types
AU  - Pedro Ângelo
AU  - Atsushi Igarashi
AU  - Yuito Murase
AU  - Vasco T. Vasconcelos
PY  - 2026
UR  - https://arxiv.org/abs/2601.15180
ID  - 2601.15180
ER  -