S. Abramsky;R. Sykes
Imperial College of Science, London;Imperial College of Science, London
Parallelism in sequential functional languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
The Peter Landin prize
Higher-Order and Symbolic Computation