How can we integrate interaction into a purely declarative language? This tutorial describes
a solution to this problem based on a monad. The solution has been implemented in the …

Futhark is a purely functional data-parallel array language that offers a machine-neutral
programming model and an optimising compiler that generates OpenCL code for GPUs …

Intuitionistic linear logic regains the expressive power of intuitionistic logic through the!('of
course') modality. Benton, Bierman, Hyland and de Paiva have given a term assignment …

A thorough and accessible introduction to a range of key ideas in type systems for
programming language. The study of type systems for programming languages now touches …

The reliability of infrastructure software, such as operating systems and web servers, is often
hampered by the mismanagement of resources, such as memory and network connections …

Some algorithms make critical internal use of updatable state, even though their external
specification is purely functional. Based on earlier work on monads, we present a way of …

We review the current state of automatic differentiation (AD) for array programming in
machine learning (ML), including the different approaches such as operator overloading …

The classical lambda calculus may be regarded both as a programming language and as a
formal algebraic system for reasoning about computation. It provides a computational model …

Linear type systems allow destructive operations such as object deallocation and imperative
updates of functional data structures. These operations and others, such as the ability to …

Some algorithms make critical internal use of updatable state, even though their external
specification is purely functional. Based on earlier work on monads, we present a way of …