City Research Online

Items where Author is "Bernardy, J. P."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Bernardy, J. P., Jannson, P. and Paterson, R. A. (2012). Proofs for free - parametricity for dependent types. Journal of Functional Programming, 22(2), pp. 107-152. doi: 10.1017/S0956796812000056

This list was generated on Thu Feb 20 04:59:33 2020 UTC.