"Hindley-milner elaboration in applicative style: functional pearl."

François Pottier (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics