default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Philippe Bernardy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c38]Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg:
Algebraic Positional Encodings. NeurIPS 2024- [c37]Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy:
Learning Structure-Aware Representations of Dependent Types. NeurIPS 2024 - [i11]Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy:
Learning Structure-Aware Representations of Dependent Types. CoRR abs/2402.02104 (2024) - 2023
- [j11]Julian Grove
, Jean-Philippe Bernardy:
Algebraic Effects for Extensible Dynamic Semantics. J. Log. Lang. Inf. 32(2): 219-245 (2023) - [i10]Jean-Philippe Bernardy, Patrik Jansson:
Domain-Specific Tensor Languages. CoRR abs/2312.02664 (2023) - [i9]Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg:
Algebraic Positional Encodings. CoRR abs/2312.16045 (2023) - 2022
- [j10]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): 137-164 (2022) - [c36]Alexander Berman, Ellen Breitholtz, Christine Howes, Jean-Philippe Bernardy:
Explaining Predictions with Enthymematic Counterfactuals Information (short paper). BEWARE@AI*IA 2022: 95-100 - [c35]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:
UniMorph 4.0: Universal Morphology. LREC 2022: 840-855 - [c34]Jean-Philippe Bernardy, Shalom Lappin:
Assessing the Unitary RNN as an End-to-End Compositional Model of Syntax. E2ECOMPVEC@ESSLLI 2022: 9-22 - [i8]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:
UniMorph 4.0: Universal Morphology. CoRR abs/2205.03608 (2022) - 2021
- [j9]Jean-Philippe Bernardy, Stergios Chatzikyriakidis, Aleksandre Maskharashvili:
A Computational Treatment of Anaphora and Its Algorithmic Implementation. J. Log. Lang. Inf. 30(1): 1-29 (2021) - [c33]Jean-Philippe Bernardy, Adam Ek, Vladislav Maraev:
Can the Transformer Learn Nested Recursion with Symbol Masking? ACL/IJCNLP (Findings) 2021: 753-760 - [c32]Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu:
Dynamic IFC Theorems for Free! CSF 2021: 1-14 - [c31]Jean-Philippe Bernardy, Arnaud Spiwack:
Evaluating linear functions to symmetric monoidal categories. Haskell 2021: 14-26 - [c30]Julian Grove, Jean-Philippe Bernardy:
Probabilistic Compositional Semantics, Purely. JSAI-isAI Workshops 2021: 242-256 - [i7]Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu:
Linear Constraints. CoRR abs/2103.06127 (2021) - [i6]Jean-Philippe Bernardy, Arnaud Spiwack:
Evaluating Linear Functions to Symmetric Monoidal Categories. CoRR abs/2103.06195 (2021) - 2020
- [j8]Andreas Abel, Jean-Philippe Bernardy:
A unified view of modalities in type systems. Proc. ACM Program. Lang. 4(ICFP): 90:1-90:28 (2020) - [c29]Wafia Adouane, Jean-Philippe Bernardy:
When is Multi-task Learning Beneficial for Low-Resource Noisy Code-switched User-generated Algerian Texts? CodeSwitch@LREC 2020: 17-25 - [c28]Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg:
Composing effects into tasks and workflows. Haskell@ICFP 2020: 80-94 - [c27]Adam Ek, Jean-Philippe Bernardy:
How Much of Enhanced UD Is Contained in UD? IWPT 2020 2020: 221-226 - [c26]Wafia Adouane, Samia Touileb, Jean-Philippe Bernardy:
Identifying Sentiments in Algerian Code-switched User-generated Comments. LREC 2020: 2698-2705 - [c25]Jean-Philippe Bernardy, Stergios Chatzikyriakidis:
Improving the Precision of Natural Textual Entailment Problem Datasets. LREC 2020: 6835-6840 - [i5]Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu:
Dynamic IFC Theorems for Free! CoRR abs/2005.04722 (2020) - [i4]Jean-Philippe Bernardy, Stergios Chatzikyriakidis:
FraCaS: Temporal Analysis. CoRR abs/2012.10668 (2020)
2010 – 2019
- 2019
- [j7]Maximilian Algehed, Jean-Philippe Bernardy:
Simple noninterference from parametricity. Proc. ACM Program. Lang. 3(ICFP): 89:1-89:22 (2019) - [c24]Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik:
Normalising Non-standardised Orthography in Algerian Code-switched User-generated Data. W-NUT@EMNLP 2019: 131-140 - [c23]Jean-Philippe Bernardy, Stergios Chatzikyriakidis:
What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough? ICAART (2) 2019: 919-931 - [c22]Vladislav Maraev, Christine Howes, Jean-Philippe Bernardy:
Predicting Laughter Relevance Spaces in Dialogue. IWSDS 2019: 41-51 - [c21]Adam Ek, Jean-Philippe Bernardy, Shalom Lappin:
Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions. NODALIDA 2019: 76-85 - [c20]Stergios Chatzikyriakidis, Jean-Philippe Bernardy:
A Wide-Coverage Symbolic Natural Language Inference System. NODALIDA 2019: 298-303 - [c19]Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili:
Predicates as Boxes in Bayesian Semantics for Natural Language. NODALIDA 2019: 333-337 - [c18]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: 263-272 - [c17]Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik:
Neural Models for Detecting Binary Semantic Textual Similarity for Algerian and MSA. WANLP@ACL 2019 2019: 78-87 - [c16]Jean-Philippe Bernardy, Aleksandre Maskharashvili:
Two experiments for embedding Wordnet hierarchy into vector spaces. GWC 2019: 79-84 - 2018
- [j6]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): 5:1-5:29 (2018) - [c15]Jean-Philippe Bernardy, Shalom Lappin, Jey Han Lau:
The Influence of Context on Sentence Acceptability Judgements. ACL (2) 2018: 456-461 - [c14]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: 20-28 - [i3]Jean-Philippe Bernardy, Stergios Chatzikyriakidis:
A corpus of precise natural textual entailment problems. CoRR abs/1812.05813 (2018) - 2017
- [j5]Jean-Philippe Bernardy:
A pretty but not greedy printer (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 6:1-6:21 (2017) - [c13]Jean-Philippe Bernardy, Stergios Chatzikyriakidis:
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq. IWCS(1) 2017 - [i2]Jean-Philippe Bernardy, Charalambos Themistocleous:
Modelling prosodic structure using Artificial Neural Networks. CoRR abs/1706.03952 (2017) - [i1]Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack:
Linear Haskell: practical linearity in a higher-order polymorphic language. CoRR abs/1710.09756 (2017) - 2016
- [j4]Jean-Philippe Bernardy, Patrik Jansson:
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. Log. Methods Comput. Sci. 12(2) (2016) - 2015
- [j3]Jean-Philippe Bernardy, Koen Claessen:
Efficient parallel and incremental parsing of practical context-free languages. J. Funct. Program. 25 (2015) - [c12]Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin:
A Presheaf Model of Parametric Type Theory. MFPS 2015: 67-82 - 2013
- [c11]Jean-Philippe Bernardy, Nicolas Pouillard:
Names for free: polymorphic views of names and binders. Haskell 2013: 13-24 - [c10]Jean-Philippe Bernardy, Guilhem Moulin:
Type-theory in color. ICFP 2013: 61-72 - [c9]Jean-Philippe Bernardy, Koen Claessen:
Efficient divide-and-conquer parsing of practical context-free languages. ICFP 2013: 111-122 - 2012
- [j2]Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson:
Proofs for free - Parametricity for dependent types. J. Funct. Program. 22(2): 107-152 (2012) - [c8]Jean-Philippe Bernardy, Guilhem Moulin:
A Computational Interpretation of Parametricity. LICS 2012: 135-144 - 2011
- [b1]Jean-Philippe Bernardy:
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. Chalmers University of Technology, Gothenburg, Sweden, 2011 - [c7]Jean-Philippe Bernardy, Marc Lasson:
Realizability and Parametricity in Pure Type Systems. FoSSaCS 2011: 108-122 - 2010
- [j1]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): 271-302 (2010) - [c6]Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen:
Testing Polymorphic Properties. ESOP 2010: 125-144 - [c5]Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson:
Parametricity and dependent types. ICFP 2010: 345-356
2000 – 2009
- 2009
- [c4]Jean-Philippe Bernardy:
Lazy functional incremental parsing. Haskell 2009: 49-60 - 2008
- [c3]Jean-Philippe Bernardy:
Yi: an editor in haskell for haskell. Haskell 2008: 61-62 - [c2]Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz:
A comparison of c++ concepts and haskell type classes. ICFP-WGP 2008: 37-48 - 2002
- [c1]Jean-Philippe Bernardy:
Reviving Pacbase COBOL-Generated Code. COMPSAC 2002: 741-743
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-15 01:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
