TY  - RPRT
TI  - A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types
AU  - Peng Fu
PY  - 2017
UR  - https://arxiv.org/abs/1711.04718
ID  - 1711.04718
ER  -