33 citations · 33 across the 3 of their papers we have counts for
5 papers · 1 filter
Haskell's overlooked object system
Oleg Kiselyov, Ralf Laemmel
Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype polymorphism of object-oriented languages such as Java and OCaml. It is a contentious question…
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…
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…
The Sketch of a Polymorphic Symphony
Ralf Laemmel
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific b…
Towards Generic Refactoring
Ralf Laemmel
We study program refactoring while considering the language or even the programming paradigm as a parameter. We use typed functional programs, namely Haskell programs, as the speci…