The Spineless Tagless G-machine is an abstract machine designed to support non-strict
higher-order functional languages. This presentation of the machine falls into three parts …

The ASF+ SDF Meta-Environment is an interactive language development environment
whose main application areas are definition and implementation of domain-specific …

Functional programming languages have banned assignment because of its undesirable
properties. The reward of this rigorous decision is that functional programming languages …

Computer programs are ubiquitous. As we rely on computers more and more in all aspects
of daily life, it becomes more important to minimise errors in computer software; it is …

Over 25 implementations of different functional languages are benchmarked using the same
program, a floating-point intensive application taken from molecular biology. The principal …

We describe a simple strictness analyser for purely-functional programs, show how its
results are used to improve programs, and provide measurements of the effects of these …

The interface with the outside world has always been one of the weakest points of functional
languages. It is not easy to incorporate I/O without being allowed to do side-effects …

Low level optimisations from conventional compiler technology often give very poor results
when applied to code from lazy functional languages, mainly because of the completely …

Haskell overloading poses new challenges for compiler writers. Until recently there have
been no implementations of it which have had acceptable performance; users have been …

In this paper we present substantially improved thread partitioning algorithms for modern
implicitly parallel languages. We present a new block partitioning algorithm, separation …