Jean-Philippe Bernardy

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 43

Top Venues

CoRR

Proc. ACM Program. Lang.

LREC

NODALIDA

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
Learning Structure-Aware Representations of Dependent Types. CoRR (2024)
Jean-Philippe Bernardy, Patrik Jansson
Domain-Specific Tensor Languages. CoRR (2023)
Julian Grove, Jean-Philippe Bernardy
Algebraic Effects for Extensible Dynamic Semantics. J. Log. Lang. Inf. 32 (2) (2023)
Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg
Algebraic Positional Encodings. CoRR (2023)
Jean-Philippe Bernardy, Shalom Lappin
Assessing the Unitary RNN as an End-to-End Compositional Model of Syntax. E2ECOMPVEC@ESSLLI (2022)
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 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
UniMorph 4.0: Universal Morphology. CoRR (2022)
Alexander Berman, Ellen Breitholtz, Christine Howes, Jean-Philippe Bernardy
Explaining Predictions with Enthymematic Counterfactuals Information (short paper). BEWARE@AI*IA (2022)
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
Linearly qualified types: generic inference for capabilities and uniqueness. Proc. ACM Program. Lang. 6 (ICFP) (2022)
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 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
UniMorph 4.0: Universal Morphology. LREC (2022)
Jean-Philippe Bernardy, Arnaud Spiwack
Evaluating Linear Functions to Symmetric Monoidal Categories. CoRR (2021)
Jean-Philippe Bernardy, Arnaud Spiwack
Evaluating linear functions to symmetric monoidal categories. Haskell (2021)
Jean-Philippe Bernardy, Adam Ek, Vladislav Maraev
Can the Transformer Learn Nested Recursion with Symbol Masking? ACL/IJCNLP (Findings) (2021)
Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
Linear Constraints. CoRR (2021)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis, Aleksandre Maskharashvili
A Computational Treatment of Anaphora and Its Algorithmic Implementation. J. Log. Lang. Inf. 30 (1) (2021)
Julian Grove, Jean-Philippe Bernardy
Probabilistic Compositional Semantics, Purely. JSAI-isAI Workshops (2021)
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
Dynamic IFC Theorems for Free! CSF (2021)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
FraCaS: Temporal Analysis. CoRR (2020)
Wafia Adouane, Samia Touileb, Jean-Philippe Bernardy
Identifying Sentiments in Algerian Code-switched User-generated Comments. LREC (2020)
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
Dynamic IFC Theorems for Free! CoRR (2020)
Andreas Abel, Jean-Philippe Bernardy
A unified view of modalities in type systems. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Adam Ek, Jean-Philippe Bernardy
How Much of Enhanced UD Is Contained in UD? IWPT 2020 (2020)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Improving the Precision of Natural Textual Entailment Problem Datasets. LREC (2020)
Wafia Adouane, Jean-Philippe Bernardy
When is Multi-task Learning Beneficial for Low-Resource Noisy Code-switched User-generated Algerian Texts? CodeSwitch@LREC (2020)
Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg
Composing effects into tasks and workflows. Haskell@ICFP (2020)
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
Bayesian Inference Semantics: A Modelling System and A Test Suite. *SEM@NAACL-HLT (2019)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough? ICAART (2) (2019)
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
Predicates as Boxes in Bayesian Semantics for Natural Language. NODALIDA (2019)
Vladislav Maraev, Christine Howes, Jean-Philippe Bernardy
Predicting Laughter Relevance Spaces in Dialogue. IWSDS (2019)
Adam Ek, Jean-Philippe Bernardy, Shalom Lappin
Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions. NODALIDA (2019)
Stergios Chatzikyriakidis, Jean-Philippe Bernardy
A Wide-Coverage Symbolic Natural Language Inference System. NODALIDA (2019)
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
Normalising Non-standardised Orthography in Algerian Code-switched User-generated Data. W-NUT@EMNLP (2019)
Maximilian Algehed, Jean-Philippe Bernardy
Simple noninterference from parametricity. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
Neural Models for Detecting Binary Semantic Textual Similarity for Algerian and MSA. WANLP@ACL 2019 (2019)
Jean-Philippe Bernardy, Aleksandre Maskharashvili
Two experiments for embedding Wordnet hierarchy into vector spaces. GWC (2019)
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
Improving Neural Network Performance by Injecting Background Knowledge: Detecting Code-switching and Borrowing in Algerian texts. CodeSwitch@ACL (2018)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
A corpus of precise natural textual entailment problems. CoRR (2018)
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. Proc. ACM Program. Lang. 2 (POPL) (2018)
Jean-Philippe Bernardy, Shalom Lappin, Jey Han Lau
The Influence of Context on Sentence Acceptability Judgements. ACL (2) (2018)
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq. IWCS(1) (2017)
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. CoRR (2017)
Jean-Philippe Bernardy
A pretty but not greedy printer (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Jean-Philippe Bernardy, Charalambos Themistocleous
Modelling prosodic structure using Artificial Neural Networks. CoRR (2017)
Jean-Philippe Bernardy, Patrik Jansson
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. Log. Methods Comput. Sci. 12 (2) (2016)
Jean-Philippe Bernardy, Koen Claessen
Efficient parallel and incremental parsing of practical context-free languages. J. Funct. Program. 25 (2015)
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
A Presheaf Model of Parametric Type Theory. MFPS (2015)
Jean-Philippe Bernardy, Guilhem Moulin
Type-theory in color. ICFP (2013)
Jean-Philippe Bernardy, Koen Claessen
Efficient divide-and-conquer parsing of practical context-free languages. ICFP (2013)
Jean-Philippe Bernardy, Nicolas Pouillard
Names for free: polymorphic views of names and binders. Haskell (2013)
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Proofs for free - Parametricity for dependent types. J. Funct. Program. 22 (2) (2012)
Jean-Philippe Bernardy, Guilhem Moulin
A Computational Interpretation of Parametricity. LICS (2012)
Jean-Philippe Bernardy, Marc Lasson
Realizability and Parametricity in Pure Type Systems. FoSSaCS (2011)
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
Testing Polymorphic Properties. ESOP (2010)
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
Generic programming with C++ concepts and Haskell type classes - a comparison. J. Funct. Program. 20 (3-4) (2010)
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Parametricity and dependent types. ICFP (2010)
Jean-Philippe Bernardy
Lazy functional incremental parsing. Haskell (2009)
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz
A comparison of c++ concepts and haskell type classes. ICFP-WGP (2008)
Jean-Philippe Bernardy
Yi: an editor in haskell for haskell. Haskell (2008)
Jean-Philippe Bernardy
Reviving Pacbase COBOL-Generated Code. COMPSAC (2002)

Jean-Philippe Bernardy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Philippe Bernardy