Items where Author is "Bernardy, J. P."
Up a level
Group by: Type | No Grouping
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