Ulrich Fraus
-
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Parallelizing functional programs by generalization
Journal of Functional Programming