Types in school
- 1 August 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 28 (8) , 81-89
- https://doi.org/10.1145/163114.163125
Abstract
This paper explains the type system of School. The next section discusses the separationbetween types and classes. Section 3 explains the facilities for constrained genericity. Insection 4 we show the expressiveness of the language, and how specific facilities from otherlanguages can be modeled in School. As usual, the last section draws some conclusions.2 Separation of HierarchiesKeywords
This publication has 8 references indexed in Scilit:
- Subtyping recursive typesPublished by Association for Computing Machinery (ACM) ,1991
- Understanding object-oriented: a unifying paradigmCommunications of the ACM, 1990
- A parallel object-oriented language with inheritance and subtypingPublished by Association for Computing Machinery (ACM) ,1990
- Strong typing of object-oriented languages revisitedPublished by Association for Computing Machinery (ACM) ,1990
- Interfaces for strongly-typed object-oriented programmingACM SIGPLAN Notices, 1989
- Eiffel: A language and environment for software engineeringJournal of Systems and Software, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Programming in Modula-2Published by Springer Nature ,1985