Let should not be generalized (2010)

by D Vytiniotis, S Peyton Jones, T Schrijvers
Venue:In Proc. 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation