Single-threaded polymorphic lambda calculus (1990)

by Guzm' an, J C, P Hudak
Venue:In Proc. Symposium on Logic in Computer Science