Dr Ross Paterson
Contact details
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, United Kingdom, 1998 - present
- Lecturer, University of North London, United Kingdom, 1996 - 1998
- Research Assistant, Imperial College London, United Kingdom, 1990 - 1995
- Lecturer, University of Queensland, Australia, 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 9781403907721.
Conference papers and proceedings (13)
- Paterson, R., Gibbons, J. and Nogueira, P. (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. Parametric datatype-genericity. Workshop on Generic Programming Edinburgh, UK.doi:10.1145/1596614.1596626
- Paterson, R. A new notation for arrows. International Conference on Functional Programming Firenze, Italy.
- Paterson, R. Transforming lazy functions using comportment properties. Programming Language Implementation and Logics of Programs Southampton, UK.
- Paterson, R. Compiling laziness using projections. Static Analysis Symposium Aachen, Germany.
- Launchbury, J. and Paterson, R. Parametricity and unboxing with unpointed types. European Symposium of Programming Linköping, Sweden.
- Bennett, A.J., Kelly, P.H.J. and Paterson, R. Derivation and performance of a pipelined transaction processor. Dallas, Texas.
- Cheng, A.S.K. and Paterson, R.A. An Implementation for a Higher Level Logic Programming Language. .
- Meijer, E., Fokkinga, M.M. and Paterson, R. 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., Eisenbach, S., Darlington, J. and Dietrich, R. Parameterized Interfaces are Interfaces - AIAS. .
- Paterson, R., Darlington, J. and Dietrich, R. 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. (1988). Qu-Prolog: an extended Prolog for meta level programming. Meta-programming in logic programming.
Journal articles (6)
- 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
Thesis/dissertation
- Paterson, R.A. Reasoning about Functional Programs. (PhD)