Statically Qualified Types in Timor

By: J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Evered

Abstract

Instances of qualifying types (”qualifiers”) have a role analogous to adjectives in natural language which are used to qualify nouns (the “targets”), e.g. a “synchronised person” or a “protected list”. Such adjectival qualification occurs in two forms in natural language.

Cite as:

J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Evered, “Statically Qualified Types in Timor”, Journal of Object Technology, Volume 4, no. 7 (September 2005), pp. 115-137, doi:10.5381/jot.2005.4.7.a5.