A Kernel Language for Abstract Data Types and Modules

Rod M. Burstall, Butler W. Lampson. A Kernel Language for Abstract Data Types and Modules. In Gilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Volume 173 of Lecture Notes in Computer Science, pages 1-50, Springer, 1984.

Abstract

Abstract is missing.