Jean-Philippe Bernardy

Identifiers

No identifiers captured yet.

Papers (5)

1. Linear Constraints cs.PL · 2026 · author #3
2. A corpus of precise natural textual entailment problems cs.CL · 2018 · author #1
3. Linear Haskell: practical linearity in a higher-order polymorphic language cs.PL · 2017 · author #1
4. Modelling prosodic structure using Artificial Neural Networks cs.CL · 2017 · author #1
5. Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Arnaud Spiwack 2 shared papers
• Charalambos Themistocleous 1 shared papers
• Csongor Kiss 1 shared papers
• Mathieu Boespflug 1 shared papers
• Nicolas Wu 1 shared papers
• Patrik Jansson 1 shared papers
• Richard A. Eisenberg 1 shared papers
• Ryan R. Newton 1 shared papers
• Simon Peyton Jones 1 shared papers
• Stergios Chatzikyriakidis 1 shared papers