Giuseppe Castagna Unifying Overloading and lambda-Abstraction: lambda<sup>{}</sup>. 337-345 1997 176 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs176.html#Castagna97 http://dx.doi.org/10.1016/S0304-3975(97)81497-1