let should not be generalized (2008)

by D Vytiniotis, S Peyton Jones, T Schrijvers
Venue:In Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation