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 a system for the automatic differentiation (AD) of a higher-order functional array-
processing language. The core functional language underlying this system simultaneously …

We show how to compile high-level functional array-processing programs, drawn from
image processing and machine learning, into C code that runs as fast as hand-written C …

We describe a new approach to implementing Domain-Specific Languages (DSLs), called
Quoted DSLs (QDSLs), that is inspired by two old ideas: quasi-quotation, from McCarthy's …

We consider the problem of training machine learning models over multi-relational data. The
mainstream approach is to first construct the training dataset using a feature extraction query …

One of the performance bottlenecks of nested recursive computations is the intermediate
collections created at different levels of recursion. The existing techniques such as vertical …

Many different data analytics tasks boil down to linear algebra primitives. In practice, for
each different type of workload, data scientists use a particular specialised library. In this …

We present a technique to combine deep and shallow embedding in the context of
compiling embedded languages in order to provide the benefits of both techniques. When …

Recent work on embedded domain specific languages (EDSLs) for high performance array
programming has given rise to a number of array representations. In Feldspar and Obsidian …

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 …