Bernardy, Jean-Philippe; Claessen, Koen: Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages. ICFP 2013,

Bernardy, Jean-Philippe; Pouillard, Nicolas: Names For Free - Polymorphic Views of Names and Binders.

Bernardy, Jean-Philippe; Moulin, Guilhem: Type-Theory in Color. ICFP 2013, pp. 12.

Bernardy, Jean-Philippe; Moulin, Guilhem: A Computational Interpretation of Parametricity. IEEE Symposium on Logic in Computer Science. 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia, June 25-28, 2012, pp. 135-144. ISBN/ISSN: 978-0-7695-4769-5

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: Proofs for Free -- Parametricity for dependent types. Journal of Functional Programming, 22 (2) pp. 107-152 .

Bernardy, Jean-Philippe: A Theory of Parametric Polymorphism and an Application. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7385-514-3

Bernardy, Jean-Philippe; Lasson, Marc: Realizability and Parametricity in Pure Type Systems. Lecture Notes in Computer Science. 14th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2011, 6604 pp. 108-122. ISBN/ISSN: 978-364219804-5

Bernardy, Jean-Philippe; Moulin, Guilhem: Towards a computational interpretation of parametricity.

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: An abstraction theorem for pure type systems.

Bernardy, Jean-Philippe; Jansson, Patrik; Zalewski, Marcin; Schupp, Sibylle: Generic programming with C++ concepts and Haskell type classes—a comparison. Journal of Functional Programming, 20 (3-4) pp. 271-302.

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: Parametricity and Dependent Types. SIGPLAN notices, 45 (9) pp. 345-356.

Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross: Parametricity and dependent types. International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland,

Bernardy, Jean-Philippe; Jansson, Patrik; Claessen, Koen: Testing Polymorphic Properties. Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010, 6012 pp. 125-144. ISBN/ISSN: 978-3-642-11956-9

Bernardy, Jean-Philippe: Lazy Functional Incremental Parsing. ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September, pp. 49-60 . ISBN/ISSN: 978-1-60558-508-6

Bernardy, Jean-Philippe: Software Engineering using Typed Functional Programming. Göteborg : Chalmers University of Technology.

Bernardy, Jean-Philippe: Yi An Editor in Haskell for Haskell. ACM Sigplan Notices, 44 (2) pp. 61-62.

Bernardy, Jean-Philippe; Jansson, Patrik; Zalewski, Marcin; Schupp, Sibylle; Priesnitz, Andreas: A comparison of C++ concepts and Haskell type classes. ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008, pp. 37-48. ISBN/ISSN: 978-1-60558-060-9

Bernardy, Jean-Philippe: Yi - An Editor in Haskell for Haskell. ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008, pp. 61-62. ISBN/ISSN: 978-1-60558-064-7

Bernardy, Jean-Philippe: Reviving Pacbase COBOL-Generated Code. Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, pp. 741 - 743. ISBN/ISSN: 0-7695-1727-7