Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jean-Philippe Bernardy
2010 – today
- 2012
[j2]Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson: Proofs for free - Parametricity for dependent types. J. Funct. Program. 22(2): 107-152 (2012)- [c8]Jean-Philippe Bernardy, Guilhem Moulin: A Computational Interpretation of Parametricity. LICS 2012: 135-144
- 2011
- [c7]Jean-Philippe Bernardy, Marc Lasson: Realizability and Parametricity in Pure Type Systems. FOSSACS 2011: 108-122
- 2010
- [j1]Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp: Generic programming with C++ concepts and Haskell type classes - a comparison. J. Funct. Program. 20(3-4): 271-302 (2010)
- [c6]Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen: Testing Polymorphic Properties. ESOP 2010: 125-144
- [c5]Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson: Parametricity and dependent types. ICFP 2010: 345-356
2000 – 2009
- 2009
- [c4]
- 2008
- [c3]
- [c2]Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz: A comparison of c++ concepts and haskell type classes. ICFP-WGP 2008: 37-48
- 2002
- [c1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-05 22:16 CEST by the dblp team