| Functional programming with bananas, lenses, envelopes and barbed wire E Meijer, M Fokkinga, R Paterson Conference on functional programming languages and computer architecture …, 1991 | 918 | 1991 |
| Applicative programming with effects C McBride, R Paterson Journal of functional programming 18 (1), 1-13, 2008 | 615 | 2008 |
| A new notation for arrows R Paterson ACM SIGPLAN Notices 36 (10), 229-240, 2001 | 274 | 2001 |
| De Bruijn notation as a nested datatype RS Bird, R Paterson Journal of functional programming 9 (1), 77-91, 1999 | 186 | 1999 |
| Finger trees: a simple general-purpose data structure R Hinze, R Paterson Journal of functional programming 16 (2), 197-217, 2006 | 151 | 2006 |
| Generalised folds for nested datatypes R Bird, R Paterson Formal Aspects of Computing 11, 200-222, 1999 | 117 | 1999 |
| Proofs for free: Parametricity for dependent types JP Bernardy, P Jansson, R Paterson Journal of Functional Programming 22 (2), 107-152, 2012 | 113 | 2012 |
| Parametricity and dependent types JP Bernardy, P Jansson, R Paterson Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 74 | 2010 |
| Arrows and computation R Paterson The Fun of Programming, 201-222, 2003 | 50 | 2003 |
| Parametricity and unboxing with unpointed types J Launchbury, R Paterson European Symposium on Programming, 204-218, 1996 | 47 | 1996 |
| pi-Calculus semantics for the concurrent configuration language Darwin S Eisenbach, R Paterson [1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993 | 40 | 1993 |
| Constructing applicative functors R Paterson International Conference on Mathematics of Program Construction, 300-323, 2012 | 27 | 2012 |
| 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 | 20 | 1993 |
| Parametric datatype-genericity J Gibbons, R Paterson Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 85-93, 2009 | 18 | 2009 |
| 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 | 17 | 1989 |
| Compiling laziness using projections R Paterson International Static Analysis Symposium, 255-269, 1996 | 9 | 1996 |
| A tiny functional language with logical features R Paterson Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on …, 1992 | 8 | 1992 |
| Unification of schemes of quantified terms RA Paterson Key Centre for Software Technology, Department of Computer Science …, 1989 | 6 | 1989 |
| Derivation of a typed functional LR parser R Hinze, R Paterson preparation, 2003 | 4 | 2003 |
| Arrows: A general interface to computation R Paterson | 3 | 2020 |
