We present a system for the automatic differentiation (AD) of a higher-order functional array-
processing language. The core functional language underlying this system simultaneously …

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 module theory and linear maps as a powerful generalised and computationally
efficient framework for the relational data model, which underpins today's relational …

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

We study a simple inductive data type for representing correct-by-construction matrices.
Despite its simplicity, it can be used to implement matrix-manipulation algorithms efficiently …

This paper introduces Alpacas, a domain-specific language and algorithms aimed at
architecture modeling and safety assessment for critical systems. It allows to study the effects …

This article targets the Incremental View Maintenance (IVM) of sophisticated analytics (such
as statistical models, machine learning programs, and graph algorithms) expressed as …

Practical metaprogramming applications often involve manipulating open code fragments,
which is easy to get wrong in the absence of static verification that all variable occurrences …

Multi-stage programming (MSP) holds great promise, allowing the reliable generation of
specialized, partially-evaluated code with static type-and scope-safety guarantees. Yet, we …

Automatic differentiation (AD) is a technique for computing the derivative of a function
represented by a program. This technique is considered as the de-facto standard for …