mihejevs-2025-canonical:
  type: misc
  title: Canonical bidirectional typechecking
  author:
  - Mihejevs, Zanzi
  - Hedges, Jules
  date: 2025-12
  serial-number:
    arxiv: '2512.07511'