Obliq: A language with distributed scope. (1994)

by Luca Cardelli
Venue:Digital Equipment Corporation Systems Research Center, 130 Lytton Avenue,