Ross Paterson

Publication Activity (10 Years)

Years Active: 1991-2012
Publications (10 Years): 0

Top Topics

Theorem Proving

Top Venues

J. Funct. Program.

Publications

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