Jean-Philippe Bernardy
From MaRDI portal
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 |
|---|---|---|
| Domain-specific tensor languages Journal of Functional Programming | 2025-03-20 | Paper |
| 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 |
| Type-theory in color Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | 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 |
| 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
