* Basic Typechecking paper by Luca Cardelli, describes algorithm, includes implementation in Modula-2* Implementation of Hindley-Milner type inference in Scala, by Andrew Forrest (retrieved July 30, 2009)* What is Hindley-Milner?
* Basic Typechecking paper by Luca Cardelli, describes algorithm, includes implementation in Modula-2* Implementation of Hindley-Milner type inference in Scala, by Andrew Forrest (retrieved July 30, 2009)* What is Hindley-Milner?