City Research Online

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

Up a level
Group by: Type | No Grouping
Jump to: Article
Number of items: 1.

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

This list was generated on Wed Jun 12 09:31:52 2024 UTC.