Dunfield, J., & Krishnaswami, N. (2013). Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism. In ICFP'13 (pp. 429-442). New York, NY: ACM. doi:10.1145/2500365.2500582.