koronkevich-2024-type:
  type: misc
  title: Type Universes as Allocation Effects
  author:
  - Koronkevich, Paulette
  - Bowman, William J.
  date: 2024-07
  serial-number:
    arxiv: '2407.06473'