2 papers
cs.PL2002
Strategic polymorphism requires just two combinators!
Ralf Laemmel, Joost Visser
In previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse terms of any type while mixing uniform and type-specific behavi…
cs.PL2002
Design Patterns for Functional Strategic Programming
Ralf Laemmel, Joost Visser
In previous work, we introduced the fundamentals and a supporting combinator library for \emph{strategic programming}. This an idiom for generic programming based on the notion of…