- Constructing Applicative Functors,
Ross Paterson.
in Mathematics of Program Construction, Madrid, 2012,
Lecture Notes in Computer Science vol. 7342, pp. 300-323, Springer, 2012.
- Proofs for Free - Parametricity for Dependent Types,
Jean-Philippe Bernardy,
Patrik Jansson and
Ross Paterson.
in Journal of Functional Programming, 22:2 (2012), pages 107-152.
- Parametricity and Dependent Types,
Jean-Philippe Bernardy,
Patrik Jansson and
Ross Paterson.
in International Conference on Functional Programming, Baltimore, 2010.
- Applicative Programming with Effects,
Conor McBride and
Ross Paterson.
in Journal of Functional Programming
18:1 (2008), pages 1-13.
- Finger Trees: A Simple General-purpose Data Structure,
Ralf Hinze and Ross Paterson.
Journal of Functional Programming, 16:2 (2006), pages 197-217.
- Arrows and Computation,
Ross Paterson.
The Fun of Programming,
edited by Jeremy Gibbons and Oege de Moor,
Palgrave, 2003, 201-222.
- A New Notation for Arrows,
Ross Paterson.
International Conference on Functional Programming,
Firenze, Italy, 3-5 September 2001, 229-240.
- Generalised Folds for Nested Datatypes,
Richard Bird and Ross Paterson.
Formal Aspects of Computing,
11(2):200-222, September 1999.
- De Bruijn Notation as a Nested Datatype,
Richard Bird and Ross Paterson.
Journal of Functional Programming, 9(1):77-91, January 1999.
- Transforming Lazy Functions using Comportment Properties,
Ross Paterson.
In PLILP,
Southampton, UK, September 1997,
LNCS vol. 1292, pages 111-125.
- Compiling Laziness using Projections,
Ross Paterson.
In Static Analysis Symposium,
Aachen, Germany, September 1996,
LNCS vol. 1145, pages 255-269.
- Parametricity and Unboxing with Unpointed Types,
John Launchbury and Ross Paterson.
In European Symposium on Programming,
Linköping, Sweden, April 1996,
LNCS vol. 1058, pages 204-218.
- Derivation and Performance of a Pipelined Transaction Processor,
A. J. Bennett, P.H.J. Kelly and R. Paterson.
In Sixth IEEE Symposium on Parallel and Distributed Processing,
Dallas, Texas, October 1994, pages 178-185.