Jean-Philippe Bernardy

Available identifiers

Publication	Date of Publication	Type
Unitary Recurrent Networks: Algebraic and Linear Structures for Syntax	2023-07-07	Paper
Algebraic effects for extensible dynamic semantics	2023-06-14	Paper
Domain-specific languages of mathematics	2022-08-17	Paper
A logic with measurable spaces for natural language semantics	2021-12-08	Paper
A computational treatment of anaphora and its algorithmic implementation	2021-06-25	Paper
Efficient parallel and incremental parsing of practical context-free languages	2017-10-23	Paper
A computational interpretation of parametricity	2017-05-16	Paper
A presheaf model of parametric type theory	2016-12-16	Paper
Certified context-free parsing: a formalisation of Valiant's algorithm in Agda	2016-07-06	Paper
Efficient divide-and-conquer parsing of practical context-free languages	2015-03-30	Paper
Type-theory in color	2015-03-30	Paper
Parametricity and dependent types	2015-03-05	Paper
Proofs for free. Parametricity for dependent types	2013-08-19	Paper
Realizability and parametricity in pure type systems	2011-05-19	Paper
Generic programming with C++ concepts and Haskell type classes—a comparison	2011-01-26	Paper
Testing polymorphic properties	2010-05-04	Paper

This page was built for person: Jean-Philippe Bernardy