@misc{koronkevich-2025-dependent,
  author = {Paulette Koronkevich and William J. Bowman},
  title = {Dependent-Type-Preserving Memory Allocation},
  year = {2025},
  month = {9},
  eprint = {2509.09059},
  archiveprefix = {arXiv}
}