Design and implementation of a simple typed language based on the lambda-calculus. - Jon Fairbairn (1984)

A simple abstract machine to execute supercombinators. - Jon Fairbairn (Graph Reduction, 1986)

Code Generation Techniques for Functional Languages. - Jon Fairbairn; Stuart Wray (LISP and Functional Programming, 1986)

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

Implementing Functional Databases. - Guy Argo; John Hughes 001; Philip W. Trinder; Jon Fairbairn; John Launchbury (DBPL, 1987)

TIM: A simple, lazy abstract machine to execute supercombinatorics. - Jon Fairbairn; Stuart Wray (FPCA, 1987)

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

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

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 001; Thomas Johnsson; Richard B. Kieburtz; Rishiyur S. Nikhil; et al. (ACM SIGPLAN Notices, 1992)