Statistics
Publications
18
Citations
488
H-Index
13
Active since
2008
Affiliations
Jean-Philippe Bernardy is an author at University of Gothenburg specializing in computer science, computing, and type systems.
Publications per year
2008–2021
18
18
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson · Journal of Functional Programming · 2012 · 86 citations · Full text
Parametricity and dependent types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson · 2010 · 46 citations · Full text
1–5 of 18