Spring School on Datatype−Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called <em>genericity</em> of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers...