Type Inference Zoo

Appearance

Research Works ​

The research works currently implemented in the Type Inference Zoo are listed below. More will be added soon—stay tuned! The implementations are available in the project's GitHub repository. You can find the correspondence between the research papers and their implementations in the project’s README.

  • Robin Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 1978. [Paper]
  • Jana Dunfield and Neelakantan R. Krishnaswami. Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism. ICFP 2013. [Paper]
  • Jinxu Zhao, Bruno C. d. S. Oliveira, and Tom Schrijvers. A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference. ICFP 2019. [Paper]
  • Jinxu Zhao and Bruno C. d. S. Oliveira. Elementary Type Inference. ECOOP 2022. [Paper]
  • Roger Bosman, Georgios Karachalias, Tom Schrijvers. No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP 2023. [Paper]
  • Chen Cui, Shengyi Jiang, and Bruno C. d. S. Oliveira. Greedy Implicit Bounded Quantification. OOPSLA 2023. [Paper]
  • Xu Xue and Bruno C. d. S. Oliveira. Contextual Typing. ICFP 2024. [Paper]
  • Shengyi Jiang, Chen Cui and Bruno C. d. S. Oliveira. Bidirectional Higher-Rank Polymorphism with Intersection and Union Types. POPL 2025. [Paper]