33 citations · 33 across the 3 of their papers we have counts for
6 papers
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…
Three-Tiered Specification of Micro-Architectures
Vasu Alagar, Ralf Laemmel
A three-tiered specification approach is developed to formally specify collections of collaborating objects, say micro-architectures. (i) The structural properties to be maintained…
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…