An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
ISSN 1660-1769
DOI 10.5381/jot
What is the difference between a type and a class? What do we mean by plug-in compatibility? What is the difference between sub-typing and sub-classing? Can we explain inheritance, method combination and template instantiation? In this second column, Simons presents a typechecker that can determine the exact syntactic type of expressions involving objects encoded as simple records.
Anthony J.H. Simons,“The Theory of Classification, Part 2: The Scratch-Built Typechecker”,Journal of Object Technology,Volume 1, no. 2 (July 2002), pp. 47-54,doi:10.5381/jot.2002.1.2.c4.
PDF |HTML |DOI |BiBTeX |Tweet this |Post to CiteULike |Share on LinkedIn