Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
A mechanical formalization of higher-ranked polymorphic type inference
ICFP, 2019.
@article{ICFP-2019-ZhaoOS,
author = "Jinxu Zhao and Bruno C. d. S. Oliveira and Tom Schrijvers",
doi = "10.1145/3341716",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{A mechanical formalization of higher-ranked polymorphic type inference}",
volume = 3,
year = 2019,
}