koronkevich-2022-anf:
  type: article
  title: ANF preserves dependent types up to extensional equality
  author:
  - KORONKEVICH, PAULETTE
  - RAKOW, RAMON
  - AHMED, AMAL
  - BOWMAN, WILLIAM J.
  date: 2022
  url: http://dx.doi.org/10.1017/s0956796822000090
  serial-number:
    doi: 10.1017/s0956796822000090
    issn: 1469-7653
  parent:
    type: periodical
    title: Journal of Functional Programming
    publisher: Cambridge University Press (CUP)
    volume: 32