Recent papers

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.