Jean-Philippe Bernardy

Showing 28 publications

2019

Simple Noninterference from Parametricity

Maximilian Algehed, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages
Paper in proceedings
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, Thierry Coquand, Guilhem Moulin
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

Names for free: polymorphic views of names and binders

Jean-Philippe Bernardy, Nicolas Pouillard
ACM SIGPLAN Notices. Vol. 48 (12), p. 13-24
Journal article
2014

Compiling Linear Logic using Continuations

Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
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

Jean-Philippe Bernardy, Guilhem Moulin
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

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

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

Type-Theory In Color

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

A Computational Interpretation of Parametricity

Jean-Philippe Bernardy, Guilhem Moulin
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

Jean-Philippe Bernardy, Marc Lasson
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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

Jean-Philippe Bernardy, Guilhem Moulin
Preprint
2010

Parametricity and dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland
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

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

Testing Polymorphic Properties

Jean-Philippe Bernardy, Patrik Jansson, Koen Lindström Claessen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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, Patrik Jansson, Marcin Zalewski 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

Download publicaton list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

Showing 1 research 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.