TY  - RPRT
TI  - Abstraction Functions as Types
AU  - Harrison Grodin
AU  - Runming Li
AU  - Robert Harper
PY  - 2025
DO  - 10.1145/3776673
UR  - https://arxiv.org/abs/2502.20496
ID  - 2502.20496
ER  -