 | 2011 |
|---|
| 8 |       | Jean-Philippe Bernardy,
Marc Lasson:
Realizability and Parametricity in Pure Type Systems.
FOSSACS 2011: 108-122 |
| 2010 |
|---|
| 7 | | Jean-Philippe Bernardy,
Patrik Jansson,
Koen Claessen:
Testing Polymorphic Properties.
ESOP 2010: 125-144 |
| 6 | | Jean-Philippe Bernardy,
Patrik Jansson,
Ross Paterson:
Parametricity and dependent types.
ICFP 2010: 345-356 |
| 5 | | 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) |
| 2009 |
|---|
| 4 | | Jean-Philippe Bernardy:
Lazy functional incremental parsing.
Haskell 2009: 49-60 |
| 2008 |
|---|
| 3 | | Jean-Philippe Bernardy:
Yi: an editor in haskell for haskell.
Haskell 2008: 61-62 |
| 2 | | 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 |
|---|
| 1 | | Jean-Philippe Bernardy:
Reviving Pacbase COBOL-Generated Code.
COMPSAC 2002: 741-743 |
Data released under the ODC-BY 1.0 license — See also our legal information page