Items where Author is "Bernardy, J-P."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Bernardy, J-P., Jansson, P. & Paterson, R. A. (2010). Parametricity and Dependent Types. Paper presented at the International Conference on Functional Programming, 27-09-2010 - 29-09-2010, Baltimore, USA. doi: 10.1145/1932681.1863592