Complete and easy bidirectional typechecking for higher-rank polymorphism (2013)

by Joshua Dunfield, Neelakantan R Krishnaswami
Venue:In International Conference on Functional Programming, ICFP ’13. ACM