Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. - Erik Meijer 001; Maarten M. Fokkinga; Ross Paterson (FPCA, 1991)

Parameterized Interfaces are Interfaces - AIAS. - Sophia Drossopoulou; Ross Paterson; Susan Eisenbach (Declarative Programming, 1991)

A Tiny Functional Language with Logical Features. - Ross Paterson (Declarative Programming, 1991)

Parametricity and Unboxing with Unpointed Types. - John Launchbury; Ross Paterson (ESOP, 1996)

Compiling Laziness Using Projections. - Ross Paterson (SAS, 1996)

Transforming Lazy Functions Using Comportment Properties. - Ross Paterson (PLILP, 1997)

Generalised folds for nested datatypes. - Richard S. Bird; Ross Paterson (Formal Aspects Comput., 1999)

De Bruijn Notation as a Nested Datatype. - Richard S. Bird; Ross Paterson (J. Funct. Program., 1999)

A New Notation for Arrows. - Ross Paterson (ICFP, 2001)

Finger trees: a simple general-purpose data structure. - Ralf Hinze; Ross Paterson (J. Funct. Program., 2006)

Applicative programming with effects. - Conor McBride; Ross Paterson (J. Funct. Program., 2008)

Parametric datatype-genericity. - Jeremy Gibbons; Ross Paterson (WGP@ICFP, 2009)

Parametricity and dependent types. - Jean-Philippe Bernardy; Patrik Jansson; Ross Paterson (ICFP, 2010)

Constructing Applicative Functors. - Ross Paterson (MPC, 2012)

Proofs for free - Parametricity for dependent types. - Jean-Philippe Bernardy; Patrik Jansson; Ross Paterson (J. Funct. Program., 2012)