ComprehendingGenericLibraries

(Related to Strongly Typed Generic Libraries.)

Background material:

Table 3. The roles of language features used for generic programming
Language	Algorithm	Concept	Refinement	Modeling	Constraint
Haskell	polymorphic function	type class	subclass	instance	context
OCaml	polymorphic function	class interface	inherit	interface	class type
ML	functor	signature	include	implicit	param sig
C	template	docs	docs	docs	docs
C	Eiffel	generic class	deferred class	inherit	inherit	conformance
Java	generic method	interface	extends	implements	extends
C#	generic method	interface	inherit	inherit	inherit
Cecil	parameterized method	abstract object	subtyping	subtyping	type constraint

  @article{Garcia_Jarvi_etal:2007CompLangGen,
    author =       {Ronald Garcia and Jaakko J\"arvi and Andrew Lumsdaine
                    and Jeremy Siek and Jeremiah Willcock},
    title =        {An extended comparative study of language support
                    for generic programming},
    journal =      {J. Funct. Program.},
    volume =       17,
    number =       2,
    year =         2007,
    COMMENTissn =  {0956-7968},
    pages =        {145--205},
    doi =          {10.1017/S0956796806006198},
    publisher =    {Cambridge University Press}
  }