- Pierce, B. C. (2002). Types and programming languages. MIT press.
- Pierce, B. C. (Ed.). (2024). Advanced topics in types and programming languages. MIT press.
- Harper, R. (2016). Practical foundations for programming languages. Cambridge University Press.
- Jones, Mark P. “Typing haskell in haskell.” Haskell workshop. Vol. 7. 1999.
- Pottier, F., & Rémy, D. 10 The Essence of ML Type Inference.
- Müller, M. (1998, August). Notes on HM (X).
- Chris Bailey. Type Checking in Lean 4. https://ammkrn.github.io/type_checking_in_lean4/
- Jinxu Zhao, Bruno C. d. S. Oliveira, and Tom Schrijvers. A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference. ICFP 2019.
- Odersky, M., Sulzmann, M., & Wehr, M. (1999). Type inference with constrained types. Theory and practice of object systems, 5(1), 35-55.
- Robin Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 1978.
- Roger Bosman, Georgios Karachalias, Tom Schrijvers. No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP 2023.
- Jana Dunfield and Neelakantan R. Krishnaswami. Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism. ICFP 2013.
- Jinxu Zhao and Bruno C. d. S. Oliveira. Elementary Type Inference. ECOOP 2022.
- Xu Xue and Bruno C. d. S. Oliveira. Contextual Typing. ICFP 2024.