The development of science proceeds in a cycle of activities, the so-called abstraction-
specialisation cycle. Abstraction is the process of seeking patterns or commonalities, which …

The type systems of most typed functional programming languages are based on the
Hindley-Milner type system. A practical problem with these type systems is that it is often …

This paper presents a system for searching for desired small functional programs by just
generating a sequence of type-correct programs in a systematic and exhaustive manner and …

Tupling is a well-known transformation tactic to obtain new efficient recursive functions by
grou** some recursive functions into a tuple. It may be applied to eliminate multiple …

Folds are appreciated by functional programmers. Their dual, unfolds, are not new, but they
are not nearly as well appreciated. We believe they deserve better. To illustrate, we present …

The problems involved in develo** efficient parallel programs have proved harder than
those in develo** efficient sequential ones, both for programmers and for compilers …

In the database engineering realm, the merits of transformational approaches, that can
produce in a systematic way correct, compilable and efficient database structures from …

Inductive functional programming (IFP) is a research field extending from software science to
artificial intelligence that deals with functional program synthesis based on generalization …

Deforestation is a compiler optimization that removes intermediate data structure allocations
from functional programs to improve their efficiency. This is an old idea, but previous …

When writing a program, especially in a high level language such as Haskell, the
programmer is faced with a tension between abstraction and efficiency. A program that is …