TY  - RPRT
TI  - Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
AU  - Yuyan Bao
AU  - Tiark Rompf
PY  - 2025
UR  - https://arxiv.org/abs/2510.07582
ID  - 2510.07582
ER  -