@inproceedings{dunfield-2013-complete, series={ICFP′13}, title={Complete and easy bidirectional typechecking for higher-rank polymorphism}, url={http://dx.doi.org/10.1145/2500365.2500582}, DOI={10.1145/2500365.2500582}, booktitle={Proceedings of the 18th ACM SIGPLAN international conference on Functional programming}, publisher={ACM}, author={Dunfield, Jana and Krishnaswami, Neelakantan R.}, year={2013}, month=Sept, pages={429–442}, collection={ICFP′13} }