Jeremy Gibbons  Home/Search
Context Related
| web.comlab.ox.ac.uk/oucl...patterns.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.comlab.ox.ac.uk/oucl/work/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Generic programming consists of increasing the expressiveness of programs by allowing a wider variety of kinds of parameter than is usual. The most popular instance of this scheme is the C++ Standard Template Library. Datatype-generic programming is another instance, in which the parameters take the form of datatypes. We argue that datatype-generic programming is su#cient to express essentially all the genericity found in the Standard Template Library, and to capture the abstractions... (Update)
Cited by: More
Fission for Program Comprehension - Jeremy Gibbons Oxford (Correct)
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (Correct)
Patterns in Datatype-Generic Programming (extended abstract) - Gibbons (Correct)
Active bibliography (related documents): More All
1.0: Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
0.7: Generic Haskell: applications - Hinze, Jeuring (2003) (Correct)
0.6: Active Libraries and Universal Languages - Veldhuizen (2004) (Correct)
Similar documents based on text: More All
0.5: Streaming Representation-Changers - Gibbons (2004) (Correct)
0.4: Disciplined, Efficient, Generalised Folds for Nested Datatypes - Martin, Gibbons, Bayley (2002) (Correct)
0.3: Pointwise Relational Programming - de Moor, Gibbons (2000) (Correct)
Related documents from co-citation: More All
2: Calculating functional programs - Gibbons - 2000
2: van der Woude (context) - Backhouse, de Bruin et al. - 1991
2: The promotion and accumulation strategies in transformational programming (context) - Bird - 1984
BibTeX entry: (Update)
J. Gibbons. Patterns in datatype-generic programming. In J. Striegnitz, editor, DPCOOL, 2003. http://citeseer.ist.psu.edu/gibbons03patterns.html More
@misc{ gibbons03patterns,
author = "J. Gibbons",
title = "Patterns in datatype-generic programming",
text = "J. Gibbons. Patterns in datatype-generic programming. In J. Striegnitz,
editor, DPCOOL, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/gibbons03patterns.html" }
Citations (may not include all citations):554 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
206 Why functional programming matters - Hughes - 1989
165 Generative Programming: Methods (context) - Czarnecki, Eisenecker - 2000
69 Cayenne: A language with dependent types - Augustsson - 1999
60 Polytypic values possess polykinded types - Hinze - 2000
49 van der Woude (context) - Backhouse, de Bruin et al. - 1992
49 van der Woude (context) - Backhouse, de Bruin et al. - 1991
43 The Java Language Specification Second Edition - Gosling, Joy et al. - 2000
40 Qualified Types: Theory and Practice (context) - Jones - 1992
35 Monadic maps and folds for arbitrary datatypes - Fokkinga - 1994
34 Template meta-programming for Haskell - Sheard, Jones - 2002
31 Generic Programming and the STL (context) - Austern - 1999
29 Haskell 98 Language and Libraries: The Revised Report (context) - Jones - 2003
17 The Generic Haskell user's guide - Clarke, Hinze et al. - 2001
15 Journal of Functional Programming (context) - Huet - 1997
14 Concept checking: Binding parametric polymorphism in C - Siek, Lumsdaine - 2000
12 Polytypic data conversion programs - Jansson, Jeuring - 2002
10 Patterns of Software: Tales from the Software Community (context) - Gabriel - 1996
10 Oxford University Press (context) - Alexander, of - 2003
9 Container types categorically - Hoogendijk, de Moor - 2000
8 Ingrid Fiksdahl-King (context) - Alexander, Ishikawa et al. - 1977
8 Static interfaces in C (context) - McNamara, Smaragdakis - 2000
8 Origami programming (context) - Gibbons - 2003
7 Functional logic overloading - Neubauer, Thiemann et al. - 2002
6 Prime number computation (context) - Unruh - 1994
6 Faking it: Simulating dependent types in Haskell - McBride - 2002
4 Five compilation models for C++ templates (context) - Veldhuizen - 2000
4 Kluwer Academic Publishers (context) - Gibbons, Jeuring et al. - 2003
4 Journal of Functional Programming (context) - Hinze, Jeuring et al. - 2001
3 Haskell Workshop (context) - Okasaki, of - 2000
3 Generic Programming (context) - Jazayeri, Loos et al. - 2000
3 Making the usage of STL safe (context) - Gregor, Schupp
3 The Boost Graph Library (context) - Siek, Lee et al. - 2002
2 Programming with type classes (context) - Backhouse, Gibbons - 2001
2 and Conor McBride (context) - Abbott, Altenkirch et al. - 2003
1 Haskell Foundation Library (context) - Bromage - 2002
1 and Ted Neward (context) - Drayton, Albahari - 2002
1 Bird and Oege de Moor (context) - Richard - 1997
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/): More
Computing Downwards Accumulations on Trees Quickly - Gibbons (1996) (Correct)
Bridging the Algorithm Gap: A Linear-time Functional Program .. - de Moor, Gibbons (1999) (Correct)
Dotted and Dashed Lines in METAFONT - Gibbons (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