The Theory of Classification Part 19: The Proliferation of Parameters

By: Anthony J.H. Simons

Abstract

We consider in more detail the kinds of manipulations performed upon polymorphic class-types. These are expressed using function-bounded type parameters of the form: ? <: F[?], where F is a type function, describing the shape of the interface that the type ?

Cite as:

Anthony J.H. Simons, “The Theory of Classification Part 19: The Proliferation of Parameters”, Journal of Object Technology, Volume 4, no. 5 (July 2005), pp. 37-48, doi:10.5381/jot.2005.4.5.c4.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact