Jean-Philippe Bernardy

62 papers A* 3A 5B 6C 5Journal 23Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
Domain-specific tensor languages.
J. Funct. Program.
Jean-Philippe Bernardy, Patrik Jansson
2024 A* conf
Algebraic Positional Encodings.
NeurIPS
Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg
2024 A* conf
Learning Structure-Aware Representations of Dependent Types.
NeurIPS
Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
2024 J jnl
Learning Structure-Aware Representations of Dependent Types.
CoRR
Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
2023 J jnl
Algebraic Effects for Extensible Dynamic Semantics.
J. Log. Lang. Inf.
Julian Grove, Jean-Philippe Bernardy
2023 J jnl
Algebraic Positional Encodings.
CoRR
Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg
2023 J jnl
Domain-Specific Tensor Languages.
CoRR
Jean-Philippe Bernardy, Patrik Jansson
2022 — conf
Assessing the Unitary RNN as an End-to-End Compositional Model of Syntax.
E2ECOMPVEC@ESSLLI
Jean-Philippe Bernardy, Shalom Lappin
2022 — conf
Explaining Predictions with Enthymematic Counterfactuals Information (short paper).
BEWARE@AI*IA
Alexander Berman, Ellen Breitholtz, Christine Howes, Jean-Philippe Bernardy
2022 J jnl
Linearly qualified types: generic inference for capabilities and uniqueness.
Proc. ACM Program. Lang.
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
2022 B conf
UniMorph 4.0: Universal Morphology.
LREC
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, Elena Budianskaya, Charbel El-Khaissi, Tiago Pimentel, Michael Gasser, William Abbott Lane, Mohit Raj, Matt Coler, Jaime Rafael Montoya Samame, Delio Siticonatzi Camaiteri, Esaú Zumaeta Rojas, Didier López Francis, Arturo Oncevay, Juan López Bautista, Gema Celeste Silva Villegas, Lucas Torroba Hennigen, Adam Ek, David Guriel, Peter Dirix, Jean-Philippe Bernardy, Andrey Scherbakov, Aziyana Bayyr-ool, Antonios Anastasopoulos, Roberto Zariquiey, Karina Sheifer, Sofya Ganieva, Hilaria Cruz, Ritván Karahóga, Stella Markantonatou, George Pavlidis, Matvey Plugaryov, Elena Klyachko, Ali Salehi, Candy Angulo, Jatayu Baxi, Andrew Krizhanovsky, Natalia Krizhanovskaya, Elizabeth Salesky, Clara Vania, Sardana Ivanova, Jennifer C. White, Rowan Hall Maudslay, Josef Valvoda, Ran Zmigrod, Paula Czarnowska, Irene Nikkarinen, Aelita Salchak, Brijesh Bhatt, Christopher Straughn, Zoey Liu, Jonathan North Washington, Yuval Pinter, Duygu Ataman, Marcin Wolinski, Totok Suhardijanto, Anna Yablonskaya, Niklas Stoehr, Hossep Dolatian, Zahroh Nuriah, Shyam Ratan, Francis M. Tyers, Edoardo M. Ponti, Grant Aiton, Aryaman Arora, Richard J. Hatcher, Ritesh Kumar, Jeremiah Young, Daria Rodionova, Anastasia Yemelina, Taras Andrushko, Igor Marchenko, Polina Mashkovtseva, Alexandra Serova, Emily Prud'hommeaux, Maria Nepomniashchaya, Fausto Giunchiglia, Eleanor Chodroff, Mans Hulden, Miikka Silfverberg, Arya D. McCarthy, David Yarowsky, Ryan Cotterell, Reut Tsarfaty, Ekaterina Vylomova
2022 J jnl
UniMorph 4.0: Universal Morphology.
CoRR
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, Elena Budianskaya, Charbel El-Khaissi, Tiago Pimentel, Michael Gasser, William Lane, Mohit Raj, Matt Coler, Jaime Rafael Montoya Samame, Delio Siticonatzi Camaiteri, Esaú Zumaeta Rojas, Didier López Francis, Arturo Oncevay, Juan López Bautista, Gema Celeste Silva Villegas, Lucas Torroba Hennigen, Adam Ek, David Guriel, Peter Dirix, Jean-Philippe Bernardy, Andrey Scherbakov, Aziyana Bayyr-ool, Antonios Anastasopoulos, Roberto Zariquiey, Karina Sheifer, Sofya Ganieva, Hilaria Cruz, Ritván Karahóga, Stella Markantonatou, George Pavlidis, Matvey Plugaryov, Elena Klyachko, Ali Salehi, Candy Angulo, Jatayu Baxi, Andrew Krizhanovsky, Natalia Krizhanovskaya, Elizabeth Salesky, Clara Vania, Sardana Ivanova, Jennifer C. White, Rowan Hall Maudslay, Josef Valvoda, Ran Zmigrod, Paula Czarnowska, Irene Nikkarinen, Aelita Salchak, Brijesh Bhatt, Christopher Straughn, Zoey Liu, Jonathan North Washington, Yuval Pinter, Duygu Ataman, Marcin Wolinski, Totok Suhardijanto, Anna Yablonskaya, Niklas Stoehr, Hossep Dolatian, Zahroh Nuriah, Shyam Ratan, Francis M. Tyers, Edoardo M. Ponti, Grant Aiton, Aryaman Arora, Richard J. Hatcher, Ritesh Kumar, Jeremiah Young, Daria Rodionova, Anastasia Yemelina, Taras Andrushko, Igor Marchenko, Polina Mashkovtseva, Alexandra Serova, Emily Prud'hommeaux, Maria Nepomniashchaya, Fausto Giunchiglia, Eleanor Chodroff, Mans Hulden, Miikka Silfverberg, Arya D. McCarthy, David Yarowsky, Ryan Cotterell, Reut Tsarfaty, Ekaterina Vylomova
2021 J jnl
A Computational Treatment of Anaphora and Its Algorithmic Implementation.
J. Log. Lang. Inf.
Jean-Philippe Bernardy, Stergios Chatzikyriakidis, Aleksandre Maskharashvili
2021 — conf
Can the Transformer Learn Nested Recursion with Symbol Masking?
ACL/IJCNLP (Findings)
Jean-Philippe Bernardy, Adam Ek, Vladislav Maraev
2021 A conf
Dynamic IFC Theorems for Free!
CSF
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
2021 J jnl
Evaluating Linear Functions to Symmetric Monoidal Categories.
CoRR
Jean-Philippe Bernardy, Arnaud Spiwack
2021 C conf
Evaluating linear functions to symmetric monoidal categories.
Haskell
Jean-Philippe Bernardy, Arnaud Spiwack
2021 J jnl
Linear Constraints.
CoRR
Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
2021 — conf
Probabilistic Compositional Semantics, Purely.
JSAI-isAI Workshops
Julian Grove, Jean-Philippe Bernardy
2020 J jnl
A unified view of modalities in type systems.
Proc. ACM Program. Lang.
Andreas Abel, Jean-Philippe Bernardy
2020 — conf
Composing effects into tasks and workflows.
Haskell@ICFP
Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg
2020 J jnl
Dynamic IFC Theorems for Free!
CoRR
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
2020 J jnl
FraCaS: Temporal Analysis.
CoRR
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
2020 — conf
How Much of Enhanced UD Is Contained in UD?
IWPT 2020
Adam Ek, Jean-Philippe Bernardy
2020 B conf
Identifying Sentiments in Algerian Code-switched User-generated Comments.
LREC
Wafia Adouane, Samia Touileb, Jean-Philippe Bernardy
2020 B conf
Improving the Precision of Natural Textual Entailment Problem Datasets.
LREC
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
2020 — conf
When is Multi-task Learning Beneficial for Low-Resource Noisy Code-switched User-generated Algerian Texts?
CodeSwitch@LREC
Wafia Adouane, Jean-Philippe Bernardy
2019 — conf
A Wide-Coverage Symbolic Natural Language Inference System.
NODALIDA
Stergios Chatzikyriakidis, Jean-Philippe Bernardy
2019 — conf
Bayesian Inference Semantics: A Modelling System and A Test Suite.
*SEM@NAACL-HLT
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
2019 — conf
Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions.
NODALIDA
Adam Ek, Jean-Philippe Bernardy, Shalom Lappin
2019 — conf
Neural Models for Detecting Binary Semantic Textual Similarity for Algerian and MSA.
WANLP@ACL 2019
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
2019 — conf
Normalising Non-standardised Orthography in Algerian Code-switched User-generated Data.
W-NUT@EMNLP
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
2019 — conf
Predicates as Boxes in Bayesian Semantics for Natural Language.
NODALIDA
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
2019 — conf
Predicting Laughter Relevance Spaces in Dialogue.
IWSDS
Vladislav Maraev, Christine Howes, Jean-Philippe Bernardy
2019 J jnl
Simple noninterference from parametricity.
Proc. ACM Program. Lang.
Maximilian Algehed, Jean-Philippe Bernardy
2019 C conf
Two experiments for embedding Wordnet hierarchy into vector spaces.
GWC
Jean-Philippe Bernardy, Aleksandre Maskharashvili
2019 — conf
What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough?
ICAART (2)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
2018 J jnl
A corpus of precise natural textual entailment problems.
CoRR
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
2018 — conf
Improving Neural Network Performance by Injecting Background Knowledge: Detecting Code-switching and Borrowing in Algerian texts.
CodeSwitch@ACL
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
2018 J jnl
Linear Haskell: practical linearity in a higher-order polymorphic language.
Proc. ACM Program. Lang.
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
2018 — conf
The Influence of Context on Sentence Acceptability Judgements.
ACL (2)
Jean-Philippe Bernardy, Shalom Lappin, Jey Han Lau
2017 — conf
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
IWCS(1)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
2017 J jnl
A pretty but not greedy printer (functional pearl).
Proc. ACM Program. Lang.
Jean-Philippe Bernardy
2017 J jnl
Linear Haskell: practical linearity in a higher-order polymorphic language.
CoRR
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
2017 J jnl
Modelling prosodic structure using Artificial Neural Networks.
CoRR
Jean-Philippe Bernardy, Charalambos Themistocleous
2016 J jnl
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda.
Log. Methods Comput. Sci.
Jean-Philippe Bernardy, Patrik Jansson
2015 B conf
A Presheaf Model of Parametric Type Theory.
MFPS
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
2015 J jnl
Efficient parallel and incremental parsing of practical context-free languages.
J. Funct. Program.
Jean-Philippe Bernardy, Koen Claessen
2013 A conf
Efficient divide-and-conquer parsing of practical context-free languages.
ICFP
Jean-Philippe Bernardy, Koen Claessen
2013 C conf
Names for free: polymorphic views of names and binders.
Haskell
Jean-Philippe Bernardy, Nicolas Pouillard
2013 A conf
Type-theory in color.
ICFP
Jean-Philippe Bernardy, Guilhem Moulin
2012 A* conf
A Computational Interpretation of Parametricity.
LICS
Jean-Philippe Bernardy, Guilhem Moulin
2012 J jnl
Proofs for free - Parametricity for dependent types.
J. Funct. Program.
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
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 B conf
Realizability and Parametricity in Pure Type Systems.
FoSSaCS
Jean-Philippe Bernardy, Marc Lasson
2010 J jnl
Generic programming with C++ concepts and Haskell type classes - a comparison.
J. Funct. Program.
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
2010 A conf
Parametricity and dependent types.
ICFP
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
2010 A conf
Testing Polymorphic Properties.
ESOP
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
2009 C conf
Lazy functional incremental parsing.
Haskell
Jean-Philippe Bernardy
2008 — conf
A comparison of c++ concepts and haskell type classes.
ICFP-WGP
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz
2008 C conf
Yi: an editor in haskell for haskell.
Haskell
Jean-Philippe Bernardy
2002 B conf
Reviving Pacbase COBOL-Generated Code.
COMPSAC
Jean-Philippe Bernardy