The Theory of Classification Part 19: The Proliferation of Parameters

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 ?