Disclaimer this is highly experimental. It's a very early stage prototype.
- The Racket Reference (version 7.1)
by Matthew Flatt and PLT - The Definition of Standard ML
by Robin Milner, Mads Tofte, Robert Harper, and David MacQueen - Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism (ICFP '13)
by Joshua Dunfield and Neel Krishnaswami - Type Inference in Context (MSFP '10)
by Adam Gundry, Conor McBride, and James McKinna - Let Should not be Generalised (TLDI ' 10)
by Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers - HMF: Simple Type Inference for First-Class Polymorphism (ICFP '08)
by Daan Leijen - The Guaranteed Optimization Clause of the Macro Writer's Bill of Rights (DanFest '04)
by R. Kent Dybvig - Local Type Inference (TOPLAS '00)
by Benjamin Pierce and David Turner - A tutorial on the universality and expressiveness of fold (JFP '99)
by Graham Hutton - Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (FPCA '91)
Erik Meijer, Maarten Fokkinga, and Ross Paterson - How to make ad-hoc polymorphism less ad hoc (POPL '89)
by Philip Wadler and Stephen Blott