A statically safe alternative to virtual types
- 1 January 1998
- book chapter
- Published by Springer Science and Business Media LLC
- p. 523-549
- https://doi.org/10.1007/bfb0054106
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Leftover curry and reheated Pizza: how functional programming nourishes software reusePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- PolyTOIL: A Type-Safe Polymorphic Object-Oriented LanguagePublished by Springer Science and Business Media LLC ,2000
- Objective ML: An effective object-oriented extension to MLTheory and Practice of Object Systems, 1998
- Pizza into JavaPublished by Association for Computing Machinery (ACM) ,1997
- Subtyping is not a good “match” for object-oriented languagesPublished by Springer Science and Business Media LLC ,1997
- On Binary MethodsTheory and Practice of Object Systems, 1995
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- F-bounded polymorphism for object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989
- Abstraction mechanisms in the BETA programming languagePublished by Association for Computing Machinery (ACM) ,1983
- Towards a theory of type structureLecture Notes in Computer Science, 1974