See this document in CiteSeerX!

Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming (2003)  (Make Corrections)  
Ralf Lämmel, Simon Peyton Jones



  Home/Search   Context   Related

 
View or download:
cs.vu.nl/boilerplate/tldi03.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.nott.ac.uk/~gmh/fplunch (more)
(Enter author homepages)

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

Abstract: We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of "boilerplate" code that simply walks the structure, hiding a small amount of "real" code that constitutes the reason for the traversal. (Update)

Active bibliography (related documents):   More   All
2.6:   Scrap Your Boilerplate: A Practical Design Pattern for Generic .. - Lämmel, Jones (2003)   (Correct)
1.3:   Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)
0.2:   Stratego - An Annotated Bibliography - Visser (2002)   (Correct)

Similar documents based on text:   More   All
0.7:   Scrap More Boilerplate: Reflection, Zips, and Generalised Casts - Lämmel, Jones (2004)   (Correct)
0.3:   Derivable Type Classes - Hinze, Jones (2000)   (Correct)
0.2:   Calling Hell From Heaven and Heaven From Hell - Finne, Leijen, Meijer, Jones (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ mmel-scrap,
  author = "Ralf Lämmel and Simon Peyton Jones",
  title = "Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming",
  url = "citeseer.ist.psu.edu/686548.html" }
Citations (may not include all citations):
315   Dynamic typing in a statically-typed language - Abadi, Cardelli et al. - 1989
261   Dynamic typing in polymorphic languages - Abadi, Cardelli et al. - 1992
210   Functional Programming with Bananas (context) - Meijer, Fokkinga et al.
186   Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
161   A short cut to deforestation - Gill, Launchbury et al.
133   Adaptive Object-Oriented Software: The Demeter Method with P.. - Lieberherr - 1996
131   A fold for all seasons - Sheard, Fegaras
116   volume 523 of Lecture Notes in Computer Science (context) - Hughes, Conference et al. - 1991
109   PolyP - a polytypic programming language extension - Jansson, Jeuring - 1997
106   Purely functional data structures - Okasaki - 1998
99   Building program optimizers with rewriting strategies - Visser, -A et al. - 1998
77   Lisp and Symbolic Computation (context) - Launchbury, Jones et al. - 1995
63   A New Approach to Generic Functional Programming - Hinze - 1921
61   Polytypic programming - Jeuring, Jansson - 1996
61   Haskell and XML: Generic combinators or type-based translati.. - Wallace, Runciman - 1999
50   Derivable type classes - Hinze, Jones - 2000
48   Merging Monads and Folds for Functional Programming - Meijer, Jeuring - 1995
45   Putting type annotations to work - Odersky, Laufer - 1996
39   The essence of the visitor pattern - Palsberg, Jay - 1998
34   Template meta-programming for Haskell - Sheard, Jones - 2002
33   Generic Haskell (context) - Clarke, Loh - 2002
27   Type reconstruction in finite rank fragments of second-order.. (context) - Kfoury - 1992
26   Dynamics in ML - Leroy, Mauny
24   Designing and implementing combinator languages - Swierstra, Alcocer et al. - 1999
23   De Bruijn notation as a nested datatype - Bird, Paterson - 1999
19   Higher-order intensional type analysis - Weirich - 2002
19   Type dispatch for named hierarchical types - Glew - 1999
16   Dealing with Large Bananas - Lammel, Visser et al. - 2000
13   Typed Combinators for Generic Traversal (context) - Lammel, Visser - 2002
10   Type-safe cast (context) - Weirich - 2000
9   Visitor combination and traversal control - Visser - 2001
7   A type-sensitive preprocessor for Haskell (context) - Winstanley - 1997
4   Generic unification via Two-Level types and parameterized mo.. - Sheard - 2001
3   Phil's proposal for restricted type classes (context) - Hudak - 1991
3   Dynamic type class casts proposal (context) - Henderson - 1999
3   putting type annotations to work (context) - Shields, Jones - 2002
3   Email to the fplangc mailing list (context) - Jones, overloading - 1990

Documents on the same site (http://www.cs.nott.ac.uk/~gmh/fp-lunch.html):
On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy   (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