new_licata_2018_fscd:
  type: article
  title: Call-by-name Gradual Type Theory
  author:
  - New, Max S.
  - Licata, Daniel R.
  date: 2018
  url: http://drops.dagstuhl.de/opus/volltexte/2018/9194/
  serial-number:
    doi: 10.4230/LIPIcs.FSCD.2018.24
  parent:
    type: proceedings
    title: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
    publisher: Schloss Dagstuhl
    volume: 108
    parent:
      type: proceedings
      title: LIPIcs