Jean-Philippe Bernardy

Forskarassistent at Software Technology (Chalmers)

Projects

2012–2015

Strongly Typed Libraries for Programs and Proofs

Patrik Jansson Software Technology (Chalmers)
Jean-Philippe Bernardy Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Swedish Research Council (VR)

There might be more projects where Jean-Philippe Bernardy participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2016

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science. Vol. 12 (2), p. 28-
Journal article
2015

Efficient Parallel and Incremental Parsing

Jean-Philippe Bernardy, Koen Lindström Claessen
Journal of Functional Programming
Journal article
2015

A Presheaf Model of Parametric Type Theory

Jean-Philippe Bernardy, Guilhem Moulin, Thierry Coquand
Electronic Notes in Theoretical Computer Science. Vol. 319, p. 67-82
Journal article
2015

Efficient parallel and incremental parsing of practical context-free languages

Jean-Philippe Bernardy, Koen Lindström Claessen
Journal of Functional Programming. Vol. 25, p. Article Number: UNSP e10-
Journal article
2014

Compiling Linear Logic using Continuations

Nicholas Smallbone, Jean-Philippe Bernardy, Dan Rosén
Preprint
2013

Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages

Jean-Philippe Bernardy, Koen Lindström Claessen
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (9), p. 111-122
Journal article
2013

Names For Free - Polymorphic Views of Names and Binders

Jean-Philippe Bernardy, Nicolas Pouillard
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (12), p. 13-24
Paper in proceedings
2013

Type-Theory in Color

Guilhem Moulin, Jean-Philippe Bernardy
18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013; Boston, MA; United States; 25 September 2013 through 27 September 2013, p. 61-71
Paper in proceedings
2013

Names for free: polymorphic views of names and binders

Nicolas Pouillard, Jean-Philippe Bernardy
ACM SIGPLAN Notices. Vol. 12, p. 13-24
Journal article
2013

Efficient divide-and-conquer parsing of practical context-free languages

Koen Lindström Claessen, Jean-Philippe Bernardy
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, p. 111-122
Paper in proceedings
2013

Type-Theory In Color

Guilhem Moulin, Jean-Philippe Bernardy
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (9), p. 61-71
Journal article
2012

A Computational Interpretation of Parametricity

Guilhem Moulin, Jean-Philippe Bernardy
IEEE Symposium on Logic in Computer Science. 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia, June 25-28, 2012, p. 135-144
Paper in proceedings
2012

Proofs for Free - Parametricity for dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Journal of Functional Programming. Vol. 22 (2), p. 107-152
Journal article
2011

Realizability and Parametricity in Pure Type Systems

Marc Lasson, Jean-Philippe Bernardy
Lecture Notes in Computer Science. Vol. 6604, p. 108-122
Paper in proceedings
2011

A Theory of Parametric Polymorphism and an Application

Jean-Philippe Bernardy
Doctoral thesis
2011

Towards a computational interpretation of parametricity

Guilhem Moulin, Jean-Philippe Bernardy
Preprint
2010

Parametricity and dependent types

Ross Paterson, Jean-Philippe Bernardy, Patrik Jansson
Paper in proceedings
2010

Generic programming with C++ concepts and Haskell type classes—a comparison

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski et al
Journal of Functional Programming. Vol. 20 (3-4), p. 271-302
Journal article
2010

Parametricity and Dependent Types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 45 (9), p. 345-356
Journal article
2010

An abstraction theorem for pure type systems

Patrik Jansson, Jean-Philippe Bernardy, Ross Paterson
Preprint
2010

Testing Polymorphic Properties

Patrik Jansson, Koen Lindström Claessen, Jean-Philippe Bernardy
Lecture Notes in Computer Science. Vol. 6012, p. 125-144
Paper in proceedings
2009

Software Engineering using Typed Functional Programming

Jean-Philippe Bernardy
Licentiate thesis
2009

Yi An Editor in Haskell for Haskell

Jean-Philippe Bernardy
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 44 (2), p. 61-62
Journal article
2009

Lazy Functional Incremental Parsing

Jean-Philippe Bernardy
ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September, p. 49-60
Paper in proceedings
2008

Yi - An Editor in Haskell for Haskell

Jean-Philippe Bernardy
ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008, p. 61-62
Conference contribution
2008

A comparison of C++ concepts and Haskell type classes

Jean-Philippe Bernardy, Marcin Zalewski, Sibylle Schupp et al
ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008, p. 37-48
Paper in proceedings
2002

Reviving Pacbase COBOL-Generated Code

Jean-Philippe Bernardy
Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, p. 741 - 743
Paper in proceedings