Unifying overloading and &lgr;-abstraction: &lgr;{}

• Authors:

• Giuseppe Castagna

• Affiliations:

• E´cole Normale Supe´rieure, Paris, France

• Venue:
• Theoretical Computer Science
• Year:
• 1997