Ross Paterson

According to our database, Ross Paterson authored at least 15 papers between 1991 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Proofs for free - Parametricity for dependent types.

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson

J. Funct. Program., 2012

Constructing Applicative Functors.

Ross Paterson

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

2010

Parametricity and dependent types.

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Parametric datatype-genericity.

Jeremy Gibbons, Ross Paterson

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

Applicative programming with effects.

Conor McBride, Ross Paterson

J. Funct. Program., 2008

2006

Finger trees: a simple general-purpose data structure.

Ralf Hinze, Ross Paterson

J. Funct. Program., 2006

2001

A New Notation for Arrows.

Ross Paterson

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

1999

De Bruijn Notation as a Nested Datatype.

Richard S. Bird, Ross Paterson

J. Funct. Program., 1999

Generalised folds for nested datatypes.

Richard S. Bird, Ross Paterson

Formal Aspects Comput., 1999

1997

Transforming Lazy Functions Using Comportment Properties.

Ross Paterson

Proceedings of the Programming Languages: Implementations, 1997

1996

Compiling Laziness Using Projections.

Ross Paterson

Proceedings of the Static Analysis, Third International Symposium, 1996

Parametricity and Unboxing with Unpointed Types.

John Launchbury, Ross Paterson

Proceedings of the Programming Languages and Systems, 1996

1991

A Tiny Functional Language with Logical Features.

Ross Paterson

Proceedings of the Declarative Programming, 1991

Parameterized Interfaces are Interfaces - AIAS.

Sophia Drossopoulou, Ross Paterson, Susan Eisenbach

Proceedings of the Declarative Programming, 1991

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.

Erik Meijer, Maarten M. Fokkinga, Ross Paterson

Proceedings of the Functional Programming Languages and Computer Architecture, 1991