by Bernd Krieg-Brückner, Don Sannella
This CFI Language Design Study Note contains several patterns related to structuring concepts for functions, types etc., in particular parametrization, i.e. Parametrized Type Constructors, Dependent Types, Polymorphic Functions, and Class Polymorphic Types and Functions.
See also the CFI Language Design Study Note on Structuring Concepts (e.g. Structuring Specifications by Parametrization etc.) Indeed, most of the concepts for "parametrization in-the-small" here turn out to be derived from those general structuring concepts for "parametrization in-the-large".
Patterns have not been qualified by asterisks yet.
It will be made available formatted for printing as compressed Postscript and DVI.
The WWW version provides only a rough approximation (mostly generated automatically by Hyperlatex) to the symbols used in the formatted versions. Please inform pdmosses@brics.dk about any places where a better approximation could be made!
N.B. All Study Notes are TENTATIVE first versions, unless explicitly marked otherwise.