A Visualisation of Polymorphic Type Checking (2000)

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