- Bernardy, J.P., Jansson, P. and Paterson, R. (2012). Proofs for free - parametricity for dependent types. Journal of Functional Programming, 22(2), pp. 107–152. doi:10.1017/S0956796812000056.
- McBride, C. and Paterson, R. (2008). Applicative programming with effects. J. Funct. Prog., 18(1), pp. 1–13. doi:10.1017/S0956796807006326.
- Hinze, R. and Paterson, R. (2006). Finger trees: a simple general-purpose data structure. J. Funct. Prog., 16(2), pp. 197–217. doi:10.1017/S0956796805005769.
- Bennett, A.J., Kelly, P.H.J. and Paterson, R.A. (2001). Pipelined functional tree accesses and updates scheduling, synchronization, caching and coherence. J FUNCT PROGRAM, 11(4), pp. 359–393. doi:10.1017/S0956796801003793.
- Bird, R.S. and Paterson, R. (1999). De Bruijn notation as a nested datatype. Journal of Functional Programming, 9(1), pp. 79–91. doi:10.1017/S0956796899003366.
- Bird, R.S. and Paterson, R. (1999). Generalised folds for nested datatypes. Formal Aspects of Computing, 11(2), pp. 200–222.
Contact details
Address
Dr Ross Paterson
A309D
, College Building [A]
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom
Northampton Square
London EC1V 0HB
United Kingdom
About
Overview
Dr Paterson is a member of the Research Centre for Machine Learning. His research focuses on programming and programming languages, especially functional programming. His interests include functional programming techniques, embedded domain-specific languages based on various notions of computation, program transformations and persistent data structures.
Qualifications
- PhD in Computer Science, University of Queensland, Australia, 1989
- BSc (Hons) Computer Science, University of Queensland, Australia, 1980
Employment
- Lecturer, City, University of London, 1998 – present
- Lecturer, University of North London, 1996 – 1998
- Research Assistant, Imperial College London, 1990 – 1995
- Lecturer, University of Queensland, 1988 – 1989
Research
My research focusses on programming and programming languages, especially functional programming. I'm interested in functional programming techniques, embedded domain-specific languages based on various notions of computation, program transformations and persistent data structures.
Publications
Publications by category
Chapter
- Paterson, R. (2003). Arrows and computation. In Gibbons, J. and Moor, O. (Eds.), The Fun of Programming (pp. 201–222). Palgrave. ISBN 978-1-4039-0772-1.
Conference papers and proceedings (13)
- Paterson, R. (2012). Constructing applicative functors. Mathematics of Program Construction 25-27 June, Madrid. doi:10.1007/978-3-642-31113-0
- Bernardy, J.P., Jansson, P. and Paterson, R. (2010). Parametricity and dependent types. International Conference on Functional Programming 27-29 September, Baltimore. doi:10.1145/1863543.1863592
- Gibbons, J. and Paterson, R. (2009). Parametric datatype-genericity. Workshop on Generic Programming Edinburgh, UK. doi:10.1145/1596614.1596626
- Paterson, R. (2001). A new notation for arrows. International Conference on Functional Programming Firenze, Italy.
- Paterson, R. (1997). Transforming lazy functions using comportment properties. Programming Language Implementation and Logics of Programs Southampton, UK.
- Paterson, R. (1996). Compiling laziness using projections. Static Analysis Symposium Aachen, Germany.
- Launchbury, J. and Paterson, R. (1996). Parametricity and unboxing with unpointed types. European Symposium of Programming Linköping, Sweden.
- Bennett, A.J., Kelly, P.H.J. and Paterson, R. (1994). Derivation and performance of a pipelined transaction processor. Dallas, Texas.
- Cheng, A.S.K. and Paterson, R.A. (1992). An Implementation for a Higher Level Logic Programming Language.
- Meijer, E., Fokkinga, M.M. and Paterson, R. (1991). Functional programming with bananas, lenses, envelopes and barbed wire. 5th ACM Conference on Functional Programming Languages and Computer Architecture La Jolla, CA, USA.
- Drossopoulou, S., Paterson, R. and Eisenbach, S. (1991). Parameterized Interfaces are Interfaces - AIAS.
- Paterson, R. (1991). A Tiny Functional Language with Logical Features.
- Staples, J., Robinson, P.J., Paterson, R.A., Hagen, R.A., Craddock, A.J. and Wallis, P.C. (1989). Qu-Prolog: an extended Prolog for meta level programming. Meta-programming in logic programming 1988.
Journal articles (6)
Thesis/dissertation
- Paterson, R.A. Reasoning about Functional Programs. (PhD)