TY  - RPRT
TI  - Dependent Session Types for Verified Concurrent Programming
AU  - Qiancheng Fu
AU  - Hongwei Xi
AU  - Ankush Das
PY  - 2025
UR  - https://arxiv.org/abs/2510.19129
ID  - 2510.19129
ER  -