An Imperative Object Calculus

Luca Cardelli
TAPSOFT(1995), pp. 471-485

Abstract

Research Areas