A 3-part type inference engine (2000)

by François Pottier
Venue:Proceedings of the 2000 European Symposium on Programming (ESOP’00