An Imperative Object Calculus (Invited Paper)

Luca Cardelli
TAPOS, 1 (1995), pp. 151-166

Abstract