2008 |
11 | EE | Conor McBride,
Ross Paterson:
Applicative programming with effects.
J. Funct. Program. 18(1): 1-13 (2008) |
2006 |
10 | EE | Ralf Hinze,
Ross Paterson:
Finger trees: a simple general-purpose data structure.
J. Funct. Program. 16(2): 197-217 (2006) |
2001 |
9 | | Ross Paterson:
A New Notation for Arrows.
ICFP 2001: 229-240 |
1999 |
8 | EE | Richard S. Bird,
Ross Paterson:
Generalised folds for nested datatypes.
Formal Asp. Comput. 11(2): 200-222 (1999) |
7 | | Richard S. Bird,
Ross Paterson:
De Bruijn Notation as a Nested Datatype.
J. Funct. Program. 9(1): 77-91 (1999) |
1997 |
6 | | Ross Paterson:
Transforming Lazy Functions Using Comportment Properties.
PLILP 1997: 111-125 |
1996 |
5 | | John Launchbury,
Ross Paterson:
Parametricity and Unboxing with Unpointed Types.
ESOP 1996: 204-218 |
4 | | Ross Paterson:
Compiling Laziness Using Projections.
SAS 1996: 255-269 |
1991 |
3 | | Sophia Drossopoulou,
Ross Paterson,
Susan Eisenbach:
Parameterized Interfaces are Interfaces - AIAS.
Declarative Programming 1991: 133-147 |
2 | | Ross Paterson:
A Tiny Functional Language with Logical Features.
Declarative Programming 1991: 66-79 |
1 | | Erik Meijer,
Maarten M. Fokkinga,
Ross Paterson:
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.
FPCA 1991: 124-144 |