koronkevich-2025-dependent:
  type: misc
  title: Dependent-Type-Preserving Memory Allocation
  author:
  - Koronkevich, Paulette
  - Bowman, William J.
  date: 2025-09
  serial-number:
    arxiv: '2509.09059'