dunfield-2013-complete:
  type: article
  title: Complete and easy bidirectional typechecking for higher-rank polymorphism
  author:
  - Dunfield, Jana
  - Krishnaswami, Neelakantan R.
  date: 2013-09
  page-range: 429-442
  serial-number:
    doi: 10.1145/2500365.2500582
  parent:
    type: proceedings
    title: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
    publisher: ACM