Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes

Giorgio Ghelli. Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings. Volume 489 of Lecture Notes in Computer Science, pages 311-340, Springer, 1990.

Abstract

Abstract is missing.