Jean-Philippe Bernardy

Senior Lecturer at Computing Science

Contact Details

Publications (30)
Projects (1)

Showing 30 publications

2022

Domain-Specific Languages of Mathematics

Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy

Book

Show project

2021

Dynamic IFC Theorems for Free!

Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu

2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021), p. 65-78

Paper in proceeding

2019

Simple Noninterference from Parametricity

Maximilian Algehed, Jean-Philippe Bernardy

Proceedings of the ACM on Programming Languages. Vol. 3

Journal article

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

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

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 proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

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

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 proceeding

2010

An abstraction theorem for pure type systems

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson

Preprint

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

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

Software Engineering using Typed Functional Programming

Jean-Philippe Bernardy

Licentiate thesis

2009

Lazy Functional Incremental Parsing

Jean-Philippe Bernardy

ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September, p. 49-60

Paper in proceeding

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 proceeding

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

Other conference contribution

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 proceeding

Download publication 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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.