City Research Online

Items where City Author is "Paterson, R."

Up a level
Group by: Type | No Grouping
Number of items: 4.

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

This list was generated on Wed Dec 25 02:33:48 2024 UTC.