Typed Combinators for Generic Traversal (2002)

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

Active Bibliography

25 Typed generic traversal with term rewriting strategies – Ralf Lämmel - 2002
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
28 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
15 The sketch of a polymorphic symphony – Ralf Lämmel - 2002
Programming errors in traversal . . . – Ralf Lämmel , Simon Thompson , Markus Kaiser
WRS’04 4th International Workshop on Reduction Strategies in Rewriting and Programming – Wrs' Th International, Sergio Antoy, Yoshihito Toyama (eds, Issn Aachener, Informatik Berichte Aib
3 The Essence of Strategic Programming An inquiry into trans-paradigmatic genericity – Ralf Lämmel, Eelco Visser, Joost Visser - 2002
4 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
LPS: A Language Prototyping System Using Modular Monadic Semantics – J.E. Labra Gayo, M. C. Luengo Díez, J. M. Cueva Lovelle, A. Cernuda Del Río - 2001
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
Meta-Programming with Tabaluga – Jan Kort, Ralf Lämmel, Joost Visser
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
21 FORMAT EVOLUTION – Ralf Lämmel, Wolfgang Lohmann - 2001
13 Polytypic Programming With Ease – Ralf Hinze - 1999