TY  - RPRT
TI  - Implicit Polarized F: local type inference for impredicativity
AU  - Henry Mercer
AU  - Cameron Ramsay
AU  - Neel Krishnaswami
PY  - 2022
UR  - https://arxiv.org/abs/2203.01835
ID  - 2203.01835
ER  -