TY  - RPRT
TI  - Dependent-Type-Preserving Memory Allocation
AU  - Paulette Koronkevich
AU  - William J. Bowman
PY  - 2025
UR  - https://arxiv.org/abs/2509.09059
ID  - 2509.09059
ER  -