Jump to Content

An Imperative Object Calculus (Invited Paper)

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

Abstract

Research Areas