Extensible and modular generics for the masses

@inproceedings{Oliveira2006ExtensibleAM,
  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},
  year={2006}
}
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

References

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…