aberle-2026-compositional:
  type: misc
  title: Compositional Program Verification with Polynomial Functors in Dependent Type Theory
  author: Aberle, CB
  date: 2026-04
  serial-number:
    arxiv: '2604.01303'