Type-safe Functional Strategies (2000)

by Ralf Lammel , Joost Visser
Venue:In Draft proc. of SFP'00, St
Citations:12 - 6 self

Active Bibliography

26 Typed Generic Traversal With Term Rewriting Strategies – Ralf Lämmel - 2002
5 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
13 The essence of strategic programming – Ralf Lämmel, Eelco Visser, Joost Visser - 2002
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
53 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
Abstract – Ralf Lämmel - 2002
1 Strategy Application, Observability, and the Choice Combinator. Sandia – Victor Winter
Meta-Programming with Tabaluga – Jan Kort, Ralf Lämmel, Joost Visser
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
13 Polytypic Programming With Ease – Ralf Hinze - 1999
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
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
57 Visitor Combination and Traversal Control – J.M.W. Visser, Joost Visser - 2001
18 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
1 Jones.Scrap your boilerplate: a practical design pattern for generic programming.In Types – Generic Programming, Simon Peyton Jones, Ralf Lämmel, Ralf Lämmel - 2003
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
Science of Computer Programming ( ) – – Ralf Lämmel A, Simon Thompson B, Markus Kaiser A
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000