Functional Programming Languages and Computer Architecture

- Control of parallelism in the Manchester Dataflow Machine

- The D-RISC: An architecture for the use in multiprocessors

- TIM: A simple, lazy abstract machine to execute supercombinators

- The G-machine as a representation of stack semantics

- Categorical multi-combinators

- Evaluating functional programs on the FLAGSHIP machine

- GRIP - A high-performance architecture for parallel graph reduction

- Concurrent garbage collection on stock hardware

- Matrix algebra and applicative programming

- Attribute grammars as a functional programming paradigm

- The planar topology of functional programs

- Functional programming with sets

- A theory for natural modelisation and implementation of functions with variable arity

- Pomset interpretations of parallel functional programs

- SIGNAL: A declarative language for synchronous programming of real-time systems

- Controlling the behaviour of functional language systems

- A Standard ML compiler

- Performance polymorphism

- Mapping a single-assignment language onto the Warp systolic array

- CLEAN: A language for functional graph rewriting

- Projections for strictness analysis

- Detecting sharing of partial applications in functional languages

- Finding fixed points in finite lattices

- Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract)