@misc{indiciae067df4dba036,
  title = {Dependent-Type-Preserving Memory Allocation},
  author = {Paulette Koronkevich and William J. Bowman},
  year = {2025},
  url = {https://arxiv.org/abs/2509.09059},
  note = {Source identifier: 2509.09059}
}