Functional programming with bananas, lenses, envelopes and barbed wire E Meijer, M Fokkinga, R Paterson Conference on Functional Programming Languages and Computer Architecture …, 1991 | 794 | 1991 |

Applicative programming with effects C McBride, RA Paterson Journal of functional programming 18 (1), 1-13, 2008 | 496 | 2008 |

A new notation for arrows R Paterson ACM SIGPLAN Notices 36 (10), 229-240, 2001 | 234 | 2001 |

De Bruijn notation as a nested datatype R Bird Journal of functional programming 9 (1), 1999 | 155 | 1999 |

Finger trees: a simple general-purpose data structure R Hinze, R Paterson Journal of functional programming 16 (2), 197-218, 2006 | 126 | 2006 |

Generalised folds for nested datatypes R Bird, R Paterson Formal Aspects of Computing 11 (2), 200-222, 1999 | 94 | 1999 |

Proofs for free-parametricity for dependent types JP Bernardy, P Jannson, RA Paterson Journal of Functional Programming 22 (2), 107-152, 2012 | 87 | 2012 |

Parametricity and dependent types JP Bernardy, P Jansson, R Paterson Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 56 | 2010 |

Arrows and computation R Paterson The Fun of Programming, 201-222, 2003 | 49 | 2003 |

Parametricity and unboxing with unpointed types J Launchbury, R Paterson European Symposium on Programming, 204-218, 1996 | 46 | 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 | 38 | 1993 |

Constructing applicative functors R Paterson International Conference on Mathematics of Program Construction, 300-323, 2012 | 18 | 2012 |

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 |

Parametric datatype-genericity J Gibbons, R Paterson Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 85-93, 2009 | 15 | 2009 |

The carriage of *Streptococcus suis* type 2 by pigs in Papua New GuineaRA Paterson, ID Robertson, RC Sanders, PM Siba, A Clegg, DJ Hampson Epidemiology & Infection 110 (1), 71-78, 1993 | 14 | 1993 |

Compiling laziness using projections R Paterson International Static Analysis Symposium, 255-269, 1996 | 8 | 1996 |

Unification of schemes of quantified terms RA Paterson Key Centre for Software Technology, Department of Computer Science …, 1989 | 7 | 1989 |

A tiny functional language with logical features R Paterson Declarative Programming, Sasbachwalden 1991, 66-79, 1992 | 6 | 1992 |

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 |