Extensible and modular generics for the masses

  title={Extensible and modular generics for the masses},
  author={Bruno C. d. S. Oliveira and Ralf Hinze and Andres L{\"o}h},
  booktitle={Trends in Functional Programming},
A generic function is a function that is defined on the structure of data types: with a single definition, we obtain a function that works for many data types. In contrast, an ad-hoc polymorphic function requires a separate implementation for each data type. Previous work by Hinze on lightweight generic programming has introduced techniques that allow the definition of generic functions directly in Haskell. A severe drawback of these approaches is that generic functions, once defined, cannot be… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 19 references

A prettier printer

  • Philip Wadler
  • Jeremy Gibbons and Oege de Moor, editors, The Fun…
  • 2003
1 Excerpt

Haskell 98 Language and Libraries: The Revised Report

  • Simon Peyton Jones, editor
  • 2003
1 Excerpt

Similar Papers

Loading similar papers…