Towards an object-oriented progification language
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 215-230
- https://doi.org/10.1007/bfb0028396
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Positive SubtypingInformation and Computation, 1996
- A Theory of ObjectsPublished by Springer Nature ,1996
- Simple type-theoretic foundations for object-oriented programmingJournal of Functional Programming, 1994
- A unifying type-theoretic framework for objectsPublished by Springer Nature ,1994
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988