Ross Paterson

15 papers A 3B 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2012 B conf
Constructing Applicative Functors.
MPC
Ross Paterson
2012 J jnl
Proofs for free - Parametricity for dependent types.
J. Funct. Program.
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
2010 A conf
Parametricity and dependent types.
ICFP
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
2009 — conf
Parametric datatype-genericity.
WGP@ICFP
Jeremy Gibbons, Ross Paterson
2008 J jnl
Applicative programming with effects.
J. Funct. Program.
Conor McBride, Ross Paterson
2006 J jnl
Finger trees: a simple general-purpose data structure.
J. Funct. Program.
Ralf Hinze, Ross Paterson
2001 A conf
A New Notation for Arrows.
ICFP
Ross Paterson
1999 J jnl
De Bruijn Notation as a Nested Datatype.
J. Funct. Program.
Richard S. Bird, Ross Paterson
1999 J jnl
Generalised folds for nested datatypes.
Formal Aspects Comput.
Richard S. Bird, Ross Paterson
1997 — conf
Transforming Lazy Functions Using Comportment Properties.
PLILP
Ross Paterson
1996 B conf
Compiling Laziness Using Projections.
SAS
Ross Paterson
1996 A conf
Parametricity and Unboxing with Unpointed Types.
ESOP
John Launchbury, Ross Paterson
1991 — conf
A Tiny Functional Language with Logical Features.
Declarative Programming
Ross Paterson
1991 — conf
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.
FPCA
Erik Meijer, Maarten M. Fokkinga, Ross Paterson
1991 — conf
Parameterized Interfaces are Interfaces - AIAS.
Declarative Programming
Sophia Drossopoulou, Ross Paterson, Susan Eisenbach