Jean-Philippe Bernardy
From MaRDI portal
Person:2035842
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Unitary Recurrent Networks: Algebraic and Linear Structures for Syntax Algebraic Structures in Natural Language | 2023-07-07 | Paper |
| Algebraic effects for extensible dynamic semantics Journal of Logic, Language and Information | 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 Journal of Logic, Language and Information | 2021-06-25 | Paper |
| Efficient parallel and incremental parsing of practical context-free languages Journal of Functional Programming | 2017-10-23 | Paper |
| A computational interpretation of parametricity 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| A presheaf model of parametric type theory Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
| Certified context-free parsing: a formalisation of Valiant's algorithm in Agda Logical Methods in Computer Science | 2016-07-06 | Paper |
| Efficient divide-and-conquer parsing of practical context-free languages Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Type-theory in color Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Parametricity and dependent types Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Proofs for free. Parametricity for dependent types Journal of Functional Programming | 2013-08-19 | Paper |
| Realizability and parametricity in pure type systems Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
| Generic programming with C++ concepts and Haskell type classes—a comparison Journal of Functional Programming | 2011-01-26 | Paper |
| Testing polymorphic properties Programming Languages and Systems | 2010-05-04 | Paper |
Research outcomes over time
This page was built for person: Jean-Philippe Bernardy
