Single-Threaded Polymorphic Lambda Calculus

Juan C. Guzmn, Paul Hudak

Browse the full LICS paper archive.