Let should not be generalised (2010)

by Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers
Venue:In Workshop on Types in Language Design and Impl. (TLDI ’10