From Hindley-Milner types to first-class structures (1995)

by Mark P. Jones
Venue:In Proceedings of the Haskell Workshop