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 surveys three distinct approaches to bidirectional programming. The first
approach, syntactic bidirectionalization, takes a program describing the forward …

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 …

We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are
kinds of higher-order tree transducers that take input trees and output a (possibly infinite) …

In 1989 when functional programming was still considered a niche topic, Hughes wrote a
visionary paper arguing convincingly 'why functional programming matters'. More than two …

Bidirectional model transformation is useful for maintaining consistency between two
models, and has many potential applications in software development including model …

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

Parallel programs on lists have been intensively studied. It is well known that associativity
provides a good characterization for divide-and-conquer parallel programs. In particular, the …

SQL declaratively specifies what the desired output of a query is. This work shows that a non-
standard interpretation of the SQL semantics can, instead, disclose where a piece of the …

Invertibility is a fundamental concept in computer science, with various manifestations in
software development (serializer/deserializer, parser/printer, redo/undo, compressor …