On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms

Bernd Holzmüller. On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms. In Serge Demeyer, Jan Bosch, editors, Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings. Volume 1543 of Lecture Notes in Computer Science, pages 31, Springer, 1998.

Abstract

Abstract is missing.