In functional programming, fold is a standard operator that encapsulates a simple pattern of
recursion for processing lists. This article is a tutorial on two key aspects of the fold operator …

In these lecture notes we describe an algebraic approach to programming, suitable both for
the derivation of individual programs and for the study of programming techniques in …

This paper presents an automatic deforestation system, stream fusion, based on equational
transformations, that fuses a wider range of functions than existing short-cut fusion systems …

Purely functional, embedded array programs are a good match for SIMD hardware, such as
GPUs. However, the naive compilation of such programs quickly leads to both code …

This paper introduces semi-ring dictionaries, a powerful class of compositional and purely
functional collections that subsume other collection types such as sets, multisets, arrays …

We present an alternative approach to shortcut fusion based on the function unfoldr,.
Despite its simplicity the technique can remove intermediate lists in examples which are …

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 …

Parallel algorithm designers need computational models that take first order system costs
into account, but are also simple enough to use in practice. This paper introduces the LoPC …

Algebraic effects offer a versatile framework that covers a wide variety of effects. However,
the family of operations that delimit scopes are not algebraic and are usually modelled as …

Algebraic effect handlers are a recently popular approach for modelling side-effects that
separates the syntax and semantics of effectful operations. The shape of syntax is captured …