TY  - RPRT
TI  - Linear Contextual Metaprogramming and Session Types
AU  - Pedro Ângelo
AU  - Atsushi Igarashi
AU  - Vasco T. Vasconcelos
PY  - 2024
DO  - 10.4204/eptcs.401.1
UR  - https://arxiv.org/abs/2404.05475
ID  - 2404.05475
ER  -