A Semantics for a Stratified λ&-Early: A Calculus with Overloading and Early Binding (1993)

Cached

Download Links

by Giuseppe Castagna , Giorgio Ghelli , Giuseppe Longo