Typed Combinators for Generic Traversal (2002)

by Ralf Lämmel , Joost Visser
Venue:Proc. of PADL 2002
Citations:41 - 16 self

Documents Related by Co-Citation

106 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
51 Term Rewriting With Traversal Functions – M.G.J. van den Brand, P. Klint, J. J. Vinju - 2001
49 Visitor Combination and Traversal Control – J.M.W. Visser, Joost Visser - 2001
274 Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
86 Polytypic programming – Patrik Jansson, Patrik Jansson - 1996
161 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
21 Typed Generic Traversal With Term Rewriting Strategies – Ralf Lämmel - 2002
26 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
34 A Strafunski Application Letter – Ralf Lämmel, Joost Visser - 2003
24 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
13 The Sketch of a Polymorphic Symphony – R Lämmel
210 Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns – K J Lieberherr - 1996
120 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
108 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
92 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
35 Rewriting With Strategies In ELAN: A Functional Semantics – Peter Borovansky, Claude Kirchner, Hélène Kirchner, H El, Ene Kirchner, Christophe Ringeissen, Communicated M. Sato, Y. Toyama - 1999
34 Scrap your boilerplate” reloaded – Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira - 2006
114 Implementing Type Classes – John Peterson, Mark Jones
33 Generic Haskell, specifically – Dave Clarke, Andres Löh - 2002