Expand : * Gibbons, J.: Datatype-generic programming. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol. 4719, pp. 1–71. Springer, Heidelberg (2007)
Value
Function
Type (polymorphism, "generics")
Interface
Property
Program representation (meta-programming)
Shape (data type generic programming)
NPOV : * Differentiate between the various kinds of generic programming. The lead is biased towards Musser–Stepanov-style generic programming. (Also see Gabriel Dos Reis and Jaakko Järvi, What is Generic Programming?.)