Obliq: a language with distributed scope (1995)

by L Cardelli
Venue:In Proc. POPL