@misc{aberle-2026-compositional,
  author = {CB Aberle},
  title = {Compositional Program Verification with Polynomial Functors in Dependent Type Theory},
  year = {2026},
  month = {4},
  eprint = {2604.01303},
  archiveprefix = {arXiv}
}