Items where City Author is "Paterson, R."

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 2.

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

Conference or Workshop Item

Paterson, R. A. (2012). Constructing applicative functors. Paper presented at the Mathematics of Program Construction, 25 - 27 Jun 2012, Madrid, Spain.

This list was generated on Sun May 19 02:31:07 2013 IST.
EPrints Logo
City Research Online is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.