Items where Author is "Jannson, P."

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 Fri Feb 28 05:04:45 2020 UTC.