Types, Abstractions, and Parametric Polymorphism, Part 2

QingMing Ma, John C. Reynolds. Types, Abstractions, and Parametric Polymorphism, Part 2. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Volume 598 of Lecture Notes in Computer Science, pages 1-40, Springer, 1991.

Abstract

Abstract is missing.