new_licata_ahmed_2021:
  type: article
  title: Gradual Type Theory
  author:
  - New, Max S.
  - Licata, Daniel R.
  - Ahmed, Amal
  date: 2021
  page-range: e21
  serial-number:
    doi: 10.1017/S0956796821000125
  parent:
    type: periodical
    title: Journal of Functional Programming
    publisher: Cambridge University Press
    volume: 31