The xSLAM Project

The advantages of functional programming are well-known: programs are easier to write, understand and verify than their imperative counterparts. However, functional languages tend to be more memory intensive and these problems have hindered their wider use in industry. The xSLAM project is addressing these issues by using recent developments in linear logic and explicit substitutions to construct and implement more efficient abstract machines. These theoretical foundations both aid the design of the machines and ensure their correctness.

The project grew out of Dr Ritter's previous work on categorical abstract machines for higher order typed lambda-calculi and Dr de Paiva's work on typed lambda-calculi for linear logic. This project was funded by an EPSRC grant (number GR/L28296), from 1.1.1997 - 31.3.2000. Some further work on this research has been done (see below) and some further work is expected.

A summary of the achievements is available.

Members of the xSLAM Group

The group consisted mainly of the following people

Research Papers

Some of the results of our research have been summarised in the following papers

Further Work


We organised a workshop on Logical Abstract machines as part of the 10th European Summer School on Logic, Language and Information (ESSLLI) in Saarbruecken, 1998 . More information can be found here. We also organized a second workshop on Logical Abstract Machines in Birmingham, 1999. Details can be found here .

Computer Science Home Page (


Page maintained by Last modified: Mon Mar 29 21:43:58 BST 2004