See this document in CiteSeerX!

Generics as a Library (Extended Abstract)  (Make Corrections)  
Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh



  Home/Search   Context   Related

 
View or download:
web.comlab.ox.ac.u...nericsAbstract.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  web.comlab.ox.ac.uk/oucl/work/... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Typically, 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. (Update)

Active bibliography (related documents):   More   All
2.4:   Generics as a Library - Oliveira, Hinze, Löh   (Correct)
0.8:   "Scrap Your Boilerplate" Explained - Hinze, Löh, Oliveira   (Correct)
0.5:   Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ oliveira-generics,
  author = "Bruno C. d. S. Oliveira and Ralf Hinze and Andres Löh",
  title = "Generics as a Library (Extended Abstract)",
  url = "citeseer.ist.psu.edu/746491.html" }
Citations (may not include all citations):
60   Polytypic values possess polykinded types - Hinze - 2000
50   Derivable type classes - Hinze, Peyton - 2001
34   Generic functional programming with types and relations (context) - Bird, de Moor et al. - 1996
29   Haskell 98 Language and Libraries: The Revised Report (context) - Jones, ed - 2003
16   International Summer School in Computer Programming (context) - Strachey - 2000
16   Functional Polytypic Programming (context) - Jansson - 2000
5   Generics for the masses (context) - Hinze - 2004
5   Restricted data types in haskell - Hughes - 1999
4   An open and shut typecase - Vytiniotis, Washburn et al. - 2005
4   Exploring Generic Haskell (context) - Loh - 2004
4   Typecase: A design pattern for type-indexed functions - Oliveira, Gibbons - 2005
3   Scrap your boilerplate with class: extensible generic functi.. (context) - Lammel, Peyton - 2005
2   Open data types and open functions (context) - Loh, Hinze - 2006
2   Java Genericity Mailing list (context) - Wadler - 1998

Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/bruno.oliveira/):
"Scrap Your Boilerplate" Explained - Hinze, Löh, Oliveira   (Correct)
Generics as a Library - Oliveira, Hinze, Löh   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC