The theory of classification part 4: Object types and subtyping

Journal of Object Technology

Volumn 1, Issue 5, 2002, Pages 27-33

  Simons, Anthony J H ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); INTEGER PROGRAMMING; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; RECURSIVE FUNCTIONS; SET THEORY; SYNTACTICS;

INHERITENCE; MODELLING; SUBTYPING; THEORY OF CLASSIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 2942730391     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2002.1.5.c2     Document Type: Article

References (8)

1. A. J. H. Simons, The theory of classification, part 1: Perspectives on type compatibility, in Journal of Object Technology, vol. 1, no. 1, May-June 2002, pages 55-61. http://www.jot.fm/issues/issue_2002_05/column5.
2. A. J. H. Simons, The theory of classification, part 2: The scratch-built typechecker, in Journal of Object Technology, vol. 1, no. 2, July-August 2002, pages 47-54. http://www.jot.fm/issues/issue_2002_07/column4.
3. A. J. H. Simons, The theory of classification, part 3: Object encodings and recursion, in Journal of Object Technology, vol. 1, no. 4, September-October 2002, pages 49-57. http://www.jot.fm/issues/issue_2002_09/column4.
4. K. Bruce and J Mitchell, PER models of subtyping, recursive types and higher-order polymorphism, Proc. 19th ACM Symp. Principles of Prog. Langs., (1992), 316-327.
5. B. Liskov, Data abstraction and hierarchy, ACM Sigplan Notices, 23(5), (1988), 17-34.
6. L. Cardelli and P Wegner, On understanding types, data abstraction and polymorphism, ACM Computing Surveys, 17(4), 1985, 471-521.
7. L. Cardelli, Amber, Combinators and Functional Programming Languages, LNCS, 242 (1986), 21-47.
8. C. Schaffert, T Cooper, B Bullis, M Kilian and C Wilpolt, An introduction to Trellis/Owl, Proc. 1st ACM Conf. Object-Oriented Prog. Sys., Lang. and Appl., pub. ACM Sigplan Notices, 21(11), (1986), 9-16.