Single-Threaded Polymorphic Lambda Calculus - Juan C. Guzmán; Paul Hudak (LICS, 1990)