Functional programming with bananas, lenses, envelopes and barbed wire E Meijer, M Fokkinga, R Paterson Conference on functional programming languages and computer architecture …, 1991 | 844 | 1991 |

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

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

De Bruijn notation as a nested datatype RS Bird, R Paterson Journal of functional programming 9 (1), 77-91, 1999 | 167 | 1999 |

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

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

Proofs for free: Parametricity for dependent types JP Bernardy, P Jansson, R Paterson Journal of Functional Programming 22 (2), 107-152, 2012 | 100 | 2012 |

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

Arrows and computation R Paterson The Fun of Programming, 201-222, 2003 | 48 | 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 | 41 | 1993 |

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

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 | 17 | 1993 |

Parametric datatype-genericity J Gibbons, R Paterson Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 85-93, 2009 | 16 | 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 | 16 | 1989 |

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

A tiny functional language with logical features R Paterson Declarative Programming, Sasbachwalden 1991, 66-79, 1992 | 7 | 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 |

The Qu-Prolog Abstract Machine ASK Cheng, RA Paterson Key Centre for Software Technology, Department of Computer Science …, 1991 | 4 | 1991 |