@misc{mercer-2022-implicit,
  author = {Henry Mercer and Cameron Ramsay and Krishnaswami, Neelakantan R.},
  title = {Implicit Polarized F: local type inference for impredicativity},
  year = {2022},
  month = {3},
  eprint = {2203.01835},
  archiveprefix = {arXiv}
}