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
8441991
Applicative programming with effects
C McBride, R Paterson
Journal of functional programming 18 (1), 1-13, 2008
5592008
A new notation for arrows
R Paterson
ACM SIGPLAN Notices 36 (10), 229-240, 2001
2572001
De Bruijn notation as a nested datatype
RS Bird, R Paterson
Journal of functional programming 9 (1), 77-91, 1999
1671999
Finger trees: a simple general-purpose data structure
R Hinze, R Paterson
Journal of functional programming 16 (2), 197-217, 2006
1442006
Generalised folds for nested datatypes
R Bird, R Paterson
Formal Aspects of Computing 11 (2), 200-222, 1999
1121999
Proofs for free: Parametricity for dependent types
JP Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (2), 107-152, 2012
1002012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
642010
Arrows and computation
R Paterson
The Fun of Programming, 201-222, 2003
482003
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
411993
Constructing applicative functors
R Paterson
International Conference on Mathematics of Program Construction, 300-323, 2012
232012
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
171993
Parametric datatype-genericity
J Gibbons, R Paterson
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 85-93, 2009
162009
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
161989
Compiling laziness using projections
R Paterson
International Static Analysis Symposium, 255-269, 1996
101996
A tiny functional language with logical features
R Paterson
Declarative Programming, Sasbachwalden 1991, 66-79, 1992
71992
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
The Qu-Prolog Abstract Machine
ASK Cheng, RA Paterson
Key Centre for Software Technology, Department of Computer Science …, 1991
41991
The system can't perform the operation now. Try again later.
Articles 1–20