Reviving Pacbase COBOL-Generated Code. - Jean-Philippe Bernardy (COMPSAC, 2002)

Yi: an editor in haskell for haskell. - Jean-Philippe Bernardy (Haskell, 2008)

A comparison of c++ concepts and haskell type classes. - Jean-Philippe Bernardy; Patrik Jansson; Marcin Zalewski; Sibylle Schupp; Andreas P. Priesnitz (ICFP-WGP, 2008)

Lazy functional incremental parsing. - Jean-Philippe Bernardy (Haskell, 2009)

Testing Polymorphic Properties. - Jean-Philippe Bernardy; Patrik Jansson; Koen Claessen (ESOP, 2010)

Parametricity and dependent types. - Jean-Philippe Bernardy; Patrik Jansson; Ross Paterson (ICFP, 2010)

Generic programming with C++ concepts and Haskell type classes - a comparison. - Jean-Philippe Bernardy; Patrik Jansson; Marcin Zalewski; Sibylle Schupp (J. Funct. Program., 2010)

Realizability and Parametricity in Pure Type Systems. - Jean-Philippe Bernardy; Marc Lasson (FoSSaCS, 2011)

A Theory of Parametric Polymorphism and an Application ; A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing. - Jean-Philippe Bernardy (2011)

A Computational Interpretation of Parametricity. - Jean-Philippe Bernardy; Guilhem Moulin (LICS, 2012)

Proofs for free - Parametricity for dependent types. - Jean-Philippe Bernardy; Patrik Jansson; Ross Paterson (J. Funct. Program., 2012)

Names for free: polymorphic views of names and binders. - Jean-Philippe Bernardy; Nicolas Pouillard (Haskell, 2013)

Efficient divide-and-conquer parsing of practical context-free languages. - Jean-Philippe Bernardy; Koen Claessen (ICFP, 2013)

Type-theory in color. - Jean-Philippe Bernardy; Guilhem Moulin (ICFP, 2013)

A Presheaf Model of Parametric Type Theory. - Jean-Philippe Bernardy; Thierry Coquand; Guilhem Moulin (MFPS, 2015)

Efficient parallel and incremental parsing of practical context-free languages. - Jean-Philippe Bernardy; Koen Claessen (J. Funct. Program., 2015)

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. - Jean-Philippe Bernardy; Patrik Jansson (Log. Methods Comput. Sci., 2016)

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (IWCS(1), 2017)

Modelling prosodic structure using Artificial Neural Networks. - Jean-Philippe Bernardy; Charalambos Themistocleous (CoRR, 2017)

A pretty but not greedy printer (functional pearl). - Jean-Philippe Bernardy (Proc. ACM Program. Lang., 2017)

Improving Neural Network Performance by Injecting Background Knowledge: Detecting Code-switching and Borrowing in Algerian texts. - Wafia Adouane; Jean-Philippe Bernardy; Simon Dobnik (CodeSwitch@ACL, 2018)

The Influence of Context on Sentence Acceptability Judgements. - Jean-Philippe Bernardy; Shalom Lappin; Jey Han Lau (ACL (2), 2018)

A corpus of precise natural textual entailment problems. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (CoRR, 2018)

Linear Haskell: practical linearity in a higher-order polymorphic language. - Jean-Philippe Bernardy; Mathieu Boespflug; Ryan R. Newton; Simon Peyton Jones; Arnaud Spiwack (Proc. ACM Program. Lang., 2018)

Normalising Non-standardised Orthography in Algerian Code-switched User-generated Data. - Wafia Adouane; Jean-Philippe Bernardy; Simon Dobnik (W-NUT@EMNLP, 2019)

What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough? - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (ICAART (2), 2019)

Predicting Laughter Relevance Spaces in Dialogue. - Vladislav Maraev; Christine Howes; Jean-Philippe Bernardy (IWSDS, 2019)

Predicates as Boxes in Bayesian Semantics for Natural Language. - Jean-Philippe Bernardy; Rasmus Blanck; Stergios Chatzikyriakidis; Shalom Lappin; Aleksandre Maskharashvili (NODALIDA, 2019)

A Wide-Coverage Symbolic Natural Language Inference System. - Stergios Chatzikyriakidis; Jean-Philippe Bernardy (NODALIDA, 2019)

Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions. - Adam Ek; Jean-Philippe Bernardy; Shalom Lappin (NODALIDA, 2019)

Bayesian Inference Semantics: A Modelling System and A Test Suite. - Jean-Philippe Bernardy; Rasmus Blanck; Stergios Chatzikyriakidis; Shalom Lappin; Aleksandre Maskharashvili (*SEM@NAACL-HLT, 2019)

Neural Models for Detecting Binary Semantic Textual Similarity for Algerian and MSA. - Wafia Adouane; Jean-Philippe Bernardy; Simon Dobnik (WANLP@ACL 2019, 2019)

Two experiments for embedding Wordnet hierarchy into vector spaces. - Jean-Philippe Bernardy; Aleksandre Maskharashvili (GWC, 2019)

Simple noninterference from parametricity. - Maximilian Algehed; Jean-Philippe Bernardy (Proc. ACM Program. Lang., 2019)

When is Multi-task Learning Beneficial for Low-Resource Noisy Code-switched User-generated Algerian Texts? - Wafia Adouane; Jean-Philippe Bernardy (CodeSwitch@LREC, 2020)

Composing effects into tasks and workflows. - Yves Parès; Jean-Philippe Bernardy; Richard A. Eisenberg (Haskell@ICFP, 2020)

How Much of Enhanced UD Is Contained in UD? - Adam Ek; Jean-Philippe Bernardy (IWPT 2020, 2020)

Identifying Sentiments in Algerian Code-switched User-generated Comments. - Wafia Adouane; Samia Touileb; Jean-Philippe Bernardy (LREC, 2020)

Improving the Precision of Natural Textual Entailment Problem Datasets. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (LREC, 2020)

FraCaS: Temporal Analysis. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (CoRR, 2020)

A unified view of modalities in type systems. - Andreas Abel 001; Jean-Philippe Bernardy (Proc. ACM Program. Lang., 2020)

Can the Transformer Learn Nested Recursion with Symbol Masking? - Jean-Philippe Bernardy; Adam Ek; Vladislav Maraev (ACL/IJCNLP (Findings), 2021)

Dynamic IFC Theorems for Free! - Maximilian Algehed; Jean-Philippe Bernardy; Catalin Hritcu (CSF, 2021)

Evaluating linear functions to symmetric monoidal categories. - Jean-Philippe Bernardy; Arnaud Spiwack (Haskell, 2021)

Probabilistic Compositional Semantics, Purely. - Julian Grove; Jean-Philippe Bernardy (JSAI-isAI Workshops, 2021)

Linear Constraints. - Jean-Philippe Bernardy; Richard A. Eisenberg; Csongor Kiss; Arnaud Spiwack; Nicolas Wu (CoRR, 2021)

A Computational Treatment of Anaphora and Its Algorithmic Implementation. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis; Aleksandre Maskharashvili (J. Log. Lang. Inf., 2021)

Explaining Predictions with Enthymematic Counterfactuals Information (short paper). - Alexander Berman; Ellen Breitholtz; Christine Howes; Jean-Philippe Bernardy (BEWARE@AI*IA, 2022)

UniMorph 4.0: Universal Morphology. - Khuyagbaatar Batsuren; Omer Goldman; Salam Khalifa; Nizar Habash; Witold Kieras; Gábor Bella; Brian Leonard; Garrett Nicolai; Kyle Gorman; Yustinus Ghanggo Ate; Maria Ryskina; Sabrina J. Mielke; et al. (LREC, 2022)

Assessing the Unitary RNN as an End-to-End Compositional Model of Syntax. - Jean-Philippe Bernardy; Shalom Lappin (E2ECOMPVEC@ESSLLI, 2022)

Linearly qualified types: generic inference for capabilities and uniqueness. - Arnaud Spiwack; Csongor Kiss; Jean-Philippe Bernardy; Nicolas Wu; Richard A. Eisenberg (Proc. ACM Program. Lang., 2022)

Algebraic Effects for Extensible Dynamic Semantics. - Julian Grove; Jean-Philippe Bernardy (J. Log. Lang. Inf., 2023)

Algebraic Positional Encodings. - Konstantinos Kogkalidis; Jean-Philippe Bernardy; Vikas Garg 001 (NeurIPS, 2024)

Learning Structure-Aware Representations of Dependent Types. - Konstantinos Kogkalidis; Orestis Melkonian; Jean-Philippe Bernardy (NeurIPS, 2024)

Domain-specific tensor languages. - Jean-Philippe Bernardy; Patrik Jansson (J. Funct. Program., 2025)