A value can belong to many types

dc.contributor.author	Venter, BH
dc.contributor.editor	Linck, M.H.
dc.date.accessioned	2018-08-13T11:43:12Z
dc.date.available	2018-08-13T11:43:12Z
dc.date.issued	1991
dc.identifier.citation	Venter, B.H. (1991) A value can belong to many types. Proceedings of the 6th Southern African Computer Symposium, De Overberger Hotel, Caledon, 2-3 July 1991	en
dc.identifier.uri	http://hdl.handle.net/10500/24579
dc.description.abstract	Most statically typed Algol-style languages were designed to conform with the view that a value belongs to one and only one type. The adoption of this view bought compiler simplicity at the expense of language expressivity. This trade off has been partially offset by the introduction of subtypes. The adoption of the view that types may intersect in arbitrary ways, on the other hand, requires complicated compilers or costly run-time type checks. However, language expressivity is enhanced, language semantics are simplified and object-oriented and database concepts can be integrated smoothly with the Algol style.	en
dc.language.iso	en	en
dc.subject	Data abstraction	en
dc.subject	Object oriented programming	en
dc.subject	Polymorphism	en
dc.subject	Type checking	en
dc.title	A value can belong to many types	en