An Imperative Object Calculus (Invited Paper)

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

Abstract

Research Areas