Items where Author is "Paterson, R. A."
Article
Bernardy, J. P., Jannson, P. & Paterson, R. A. (2012). Proofs for free - parametricity for dependent types. Journal of Functional Programming, 22(2), pp. 107-152. doi: 10.1017/s0956796812000056
Mcbride, C. & Paterson, R. A. (2008). Applicative programming with effects. Journal of Functional Programming, 18(01), pp. 1-13. doi: 10.1017/s0956796807006326
Conference or Workshop Item
Paterson, R. A. (2012). Constructing applicative functors. In: Gibbons, J & Nogueira, P (Eds.), Lecture Notes in Computer Science. 11th International Conference, Mathematics of Program Construction, 25 - 27 Jun 2012, Madrid, Spain.
Bernardy, J-P., Jansson, P. & Paterson, R. A. (2010). Parametricity and Dependent Types. Paper presented at the International Conference on Functional Programming, 27-09-2010 - 29-09-2010, Baltimore, USA. doi: 10.1145/1932681.1863592