Single-threaded polymorphic lambda calculus (1990)

by J C Guzman, P Hudak
Venue:In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science