Jump to Content

An Imperative Object Calculus

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

Abstract

Research Areas