The Theory of Classification, Part 1: Perspectives on Type Compatibility (2002)
by
Anthony J H Simons
| Venue: | May-June 2002 |
| Citations: | 6 - 4 self |
BibTeX
@INPROCEEDINGS{Simons02thetheory,
author = {Anthony J H Simons},
title = {The Theory of Classification, Part 1: Perspectives on Type Compatibility},
booktitle = {May-June 2002},
year = {2002},
pages = {55--61}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This is the first article in a regular series on object-oriented type theory, aimed specifically at non-theoreticians. The object-oriented notion of classification has for long been a fascinating issue for type theory, chiefly because no other programming paradigm has so sought to establish systematic sets of relationships between all of its types. Over
Citations
| 727 | On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985 |
| 339 | Towards a theory of type structure - Reynolds |
| 277 | Object-Oriented Software Construction, 2nd Edition - Meyer - 1997 |
| 187 | Introducing Z: a Specification Language and its Formal Semantics - Spivey - 1988 |
| 150 | Object-Oriented Programming: An Evolutionary Approach - Cox - 1986 |
| 29 | Types are not sets - Morris - 1973 |
| 13 | Ariane 5 Flight 501 Failure - Lions - 1996 |
| 13 | Nov/Dec). Contravariance for the rest of us - Harris - 1991 |
| 3 | Amendment to intuitionistic type theory, Lecture notes obtained from P - Martin-Löf - 1986 |
| 2 | climate orbiter official website - Mars - 1998 |
| 1 | About the author Anthony Simons is a Senior Lecturer and Director of Teaching in the - Futatsugi, Goguen, et al. - 1985 |
