Complete and easy bidirectional typechecking for higher-rank polymorphism

[bcdarwin]

https://arxiv.org/pdf/1306.6032.pdf

[hzafar]

This has been on my to-read since Alexis King recently published her implementation (in both Haskell and Racket): https://github.com/lexi-lambda/higher-rank