Type-safe Functional Strategies (2000)

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

Active Bibliography

34 Typed generic traversal with term rewriting strategies – Ralf Lämmel - 2002
64 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
14 The essence of strategic programming – Ralf Lämmel, Eelco Visser, Joost Visser - 2002
4 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
Generic type-preserving traversal strategies – unknown authors
31 Dealing with Large Bananas – Ralf Lämmel, Joost Visser, Jan Kort - 2000
Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern – Jeremy Gibbons, Bruno C. D. S. Oliveira
505 Comprehending Monads – Philip Wadler - 1992
1 Strategy Application, Observability, and the Choice Combinator. Sandia – Victor Winter