mercer-2022-implicit:
  type: misc
  title: 'Implicit Polarized F: local type inference for impredicativity'
  author:
  - Mercer, Henry
  - Ramsay, Cameron
  - Krishnaswami, Neelakantan R.
  date: 2022-03
  serial-number:
    arxiv: '2203.01835'