TY  - RPRT
TI  - Rast: A Language for Resource-Aware Session Types
AU  - Ankush Das
AU  - Frank Pfenning
PY  - 2022
DO  - 10.46298/lmcs-18(1:9)2022
UR  - https://arxiv.org/abs/2012.13129
ID  - 2012.13129
ER  -