Follow
Ross Paterson
Ross Paterson
City, University of London
Verified email at city.ac.uk
Title
Cited by
Cited by
Year
Functional programming with bananas, lenses, envelopes and barbed wire
E Meijer, M Fokkinga, R Paterson
Conference on functional programming languages and computer architecture …, 1991
9151991
Applicative programming with effects
C McBride, R Paterson
Journal of functional programming 18 (1), 1-13, 2008
6122008
A new notation for arrows
R Paterson
ACM SIGPLAN Notices 36 (10), 229-240, 2001
2722001
De Bruijn notation as a nested datatype
RS Bird, R Paterson
Journal of functional programming 9 (1), 77-91, 1999
1841999
Finger trees: a simple general-purpose data structure
R Hinze, R Paterson
Journal of functional programming 16 (2), 197-217, 2006
1502006
Generalised folds for nested datatypes
R Bird, R Paterson
Formal Aspects of Computing 11, 200-222, 1999
1171999
Proofs for free: Parametricity for dependent types
JP Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (2), 107-152, 2012
1132012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
742010
Arrows and computation
R Paterson
The Fun of Programming, 201-222, 2003
502003
Parametricity and unboxing with unpointed types
J Launchbury, R Paterson
European Symposium on Programming, 204-218, 1996
471996
pi-Calculus semantics for the concurrent configuration language Darwin
S Eisenbach, R Paterson
[1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993
401993
Constructing applicative functors
R Paterson
International Conference on Mathematics of Program Construction, 300-323, 2012
262012
The carriage of Streptococcus suis type 2 by pigs in Papua New Guinea
RA Paterson, ID Robertson, RC Sanders, PM Siba, A Clegg, DJ Hampson
Epidemiology & Infection 110 (1), 71-78, 1993
191993
Parametric datatype-genericity
J Gibbons, R Paterson
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 85-93, 2009
182009
Qu-Prolog: An extended Prolog for meta level programming
J Staples, PJ Robinson, RA Paterson, RA Hagen, AJ Craddock, PC Wallis
Meta-Programming in Logic Programming, 435-452, 1989
171989
Compiling laziness using projections
R Paterson
International Static Analysis Symposium, 255-269, 1996
91996
A tiny functional language with logical features
R Paterson
Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on …, 1992
81992
Unification of schemes of quantified terms
RA Paterson
Key Centre for Software Technology, Department of Computer Science …, 1989
61989
Derivation of a typed functional LR parser
R Hinze, R Paterson
preparation, 2003
42003
Arrows: A general interface to computation
R Paterson
32020
The system can't perform the operation now. Try again later.
Articles 1–20