We present an algorithm for calculating hypervolume exactly, the Hypervolume by Slicing
Objectives (HSO) algorithm, that is faster than any that has previously been published. HSO …

Many components of a dependently typed programming language are by now well
understood, for example, the underlying type theory, type checking, unification and …

Declarative programming languages advocate a programming style expressing the
properties of problems and their solutions rather than how to compute individual solutions …

Functional logic programming languages combine the most important declarative
programming paradigms, and attempts to combine these paradigms have a long history. The …

In this article, we introduce Applicative functors–an abstract characterisation of an
applicative style of effectful programming, weaker than Monads and hence more …

We present an algebraic treatment of exception handlers and, more generally, introduce
handlers for other computational effects representable by an algebraic theory. These include …

Heterogeneous specification becomes more and more important because complex systems
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1) …

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming
language Haskell. It supports the stepwise development of Haskell programs by verifying the …

The goal of domain-specific languages (DSLs) is to increase the productivity of software
engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the …

There are many automatic tools to prove termination of term rewrite systems, nowadays.
Most of these tools use a combination of many complex termination criteria. Hence …