Report on the Programming Language Haskell, A Non-strict, Purely Functional Language - Paul Hudak; Simon L. Peyton Jones; Philip Wadler; Brian Boutel; Jon Fairbairn; Joseph H. Fasel; María M. Guzmán; Kevin Hammond; John Hughes; Thomas Johnsson; Richard B. Kieburtz; Rishiyur S. Nikhil; et al. (ACM SIGPLAN Notices, 1992)

Non-Strict Languages - Programming and Implementation - Stuart Wray; Jon Fairbairn (Comput. J., 1989)

Making Form Follow Function: An Exercise in Functional Programming Style - Jon Fairbairn (Softw. Pract. Exp., 1987)

Implementing Functional Databases - Guy Argo; John Hughes; Philip W. Trinder; Jon Fairbairn; John Launchbury (Advances in Database Programming Languages, Papers from DBPL-1, September 1987, Roscoff, France, 1987)

TIM: A simple, lazy abstract machine to execute supercombinatorics - Jon Fairbairn; Stuart Wray (Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, 1987)

A New Type-Checker for a Functional Language - Jon Fairbairn (Sci. Comput. Program., 1986)

A simple abstract machine to execute supercombinators - Jon Fairbairn (Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986, 1986)

Code Generation Techniques for Functional Languages - Jon Fairbairn; Stuart Wray (Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986, 1986)

A New Type-Checker for a Functional Language - Jon Fairbairn (Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, UK, August 1985, 1985)

A New Type-Checker for a Functional Language - Jon Fairbairn (Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, UK, August 1985, 1985)

Design and implementation of a simple typed language based on the lambda-calculus - Jon Fairbairn (University of Cambridge, UK, 1984)