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.


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 Sat Dec 4 05:09:49 2021 UTC.