A semantics for &-early: a calculus with overloading and early binding (1993)

by G Castagna, G Ghelli, G Longo
Venue:International Conference on Typed Lambda Calculi and Applications, number 664 in Lecture Notes in Computer Science