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
7941991
Applicative programming with effects
C McBride, RA Paterson
Journal of functional programming 18 (1), 1-13, 2008
4962008
A new notation for arrows
R Paterson
ACM SIGPLAN Notices 36 (10), 229-240, 2001
2342001
De Bruijn notation as a nested datatype
R Bird
Journal of functional programming 9 (1), 1999
1551999
Finger trees: a simple general-purpose data structure
R Hinze, R Paterson
Journal of functional programming 16 (2), 197-218, 2006
1262006
Generalised folds for nested datatypes
R Bird, R Paterson
Formal Aspects of Computing 11 (2), 200-222, 1999
941999
Proofs for free-parametricity for dependent types
JP Bernardy, P Jannson, RA Paterson
Journal of Functional Programming 22 (2), 107-152, 2012
872012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
562010
Arrows and computation
R Paterson
The Fun of Programming, 201-222, 2003
492003
Parametricity and unboxing with unpointed types
J Launchbury, R Paterson
European Symposium on Programming, 204-218, 1996
461996
pi-Calculus semantics for the concurrent configuration language Darwin
S Eisenbach, R Paterson
[1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993
381993
Constructing applicative functors
R Paterson
International Conference on Mathematics of Program Construction, 300-323, 2012
182012
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
Parametric datatype-genericity
J Gibbons, R Paterson
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 85-93, 2009
152009
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
141993
Compiling laziness using projections
R Paterson
International Static Analysis Symposium, 255-269, 1996
81996
Unification of schemes of quantified terms
RA Paterson
Key Centre for Software Technology, Department of Computer Science …, 1989
71989
A tiny functional language with logical features
R Paterson
Declarative Programming, Sasbachwalden 1991, 66-79, 1992
61992
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