Let's Write a Type Checker An implementation of Wand's type inference algorithm, in Scala, for a limited subset of Standard ML.