A visualisation of polymorphic type checking (2000)

by J Yang, G Michaelson
Venue:Journal of Functional Programming