Automatic differentiation (AD) in reverse mode (RAD) is a central component of deep
learning and other uses of large-scale optimization. Commonly used RAD algorithms such …

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 …

In mathematics, an enumeration of a set S is a bijective function from (an initial segment of)
the natural numbers to S. We define" functional enumerations" as efficiently computable …

Haskell is a great language for writing and supporting embedded Domain Specific
Languages (DSLs). Some form of observable sharing is often a critical capability for allowing …

Pure functional programming languages have been proposed as a vehicle to describe,
simulate and manipulate circuit specifications. We propose an extension to Haskell to solve …

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 …

Interoperability pervades nearly all mainstream language implementations, as most systems
leverage subcomponents written in different languages. And yet, such linking can expose a …

The increasing popularity of component-based programming tools offer a big opportunity to
designers of advanced programming languages, such as Haskell. If we can package our …

We present a new interface for practical Functional Reactive Programming (FRP) that (1) is
close in spirit to the original FRP ideas,(2) does not have the original space-leak problems …

FranTk is a new high level library for programming Graphical User Interfaces (GUIs) in
Haskell. It is based on Fran (Functional Reactive Animation), and uses the notions of …