Jean-Philippe Bernardy - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jean-Philippe Bernardy' as author, editor, or advisor:

Algebraic Effects for Extensible Dynamic SemanticsJulian Grove, Jean-Philippe Bernardy. jolli, 32(2):219-245, 2023. [doi]
Type-theory in colorJean-Philippe Bernardy, Guilhem Moulin. ICFP 2013: 61-72 [doi]
Efficient divide-and-conquer parsing of practical context-free languagesJean-Philippe Bernardy, Koen Claessen. ICFP 2013: 111-122 [doi]
Evaluating linear functions to symmetric monoidal categoriesJean-Philippe Bernardy, Arnaud Spiwack. haskell 2021: 14-26 [doi]
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 testingJean-Philippe Bernardy. PhD thesis, Chalmers University of Technology, Gothenburg, Sweden, 2011. [doi]
Can the Transformer Learn Nested Recursion with Symbol Masking?Jean-Philippe Bernardy, Adam Ek, Vladislav Maraev. acl 2021: 753-760 [doi]
Predicting Laughter Relevance Spaces in DialogueVladislav Maraev, Christine Howes, Jean-Philippe Bernardy. iwsds 2021: 41-51 [doi]
Names for free: polymorphic views of names and bindersJean-Philippe Bernardy, Nicolas Pouillard. haskell 2013: 13-24 [doi]
Linearly qualified types: generic inference for capabilities and uniquenessArnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg. PACMPL, 6(ICFP):137-164, 2022. [doi]
Neural Models for Detecting Binary Semantic Textual Similarity for Algerian and MSAWafia Adouane, Jean-Philippe Bernardy, Simon Dobnik. wanlp 2019: 78-87 [doi]
The Influence of Context on Sentence Acceptability JudgementsJean-Philippe Bernardy, Shalom Lappin, Jey Han Lau. acl 2018: 456-461 [doi]
What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough?Jean-Philippe Bernardy, Stergios Chatzikyriakidis. icaart 2019: 919-931 [doi]
Identifying Sentiments in Algerian Code-switched User-generated CommentsWafia Adouane, Samia Touileb, Jean-Philippe Bernardy. lrec 2020: 2698-2705 [doi]
Bayesian Inference Semantics: A Modelling System and A Test SuiteJean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili. starsem 2019: 263-272 [doi]
Normalising Non-standardised Orthography in Algerian Code-switched User-generated DataWafia Adouane, Jean-Philippe Bernardy, Simon Dobnik. aclnut 2019: 131-140 [doi]
Yi: an editor in haskell for haskellJean-Philippe Bernardy. haskell 2008: 61-62 [doi]
Improving the Precision of Natural Textual Entailment Problem DatasetsJean-Philippe Bernardy, Stergios Chatzikyriakidis. lrec 2020: 6835-6840 [doi]
A Computational Interpretation of ParametricityJean-Philippe Bernardy, Guilhem Moulin. lics 2012: 135-144 [doi]
A Wide-Coverage Symbolic Natural Language Inference SystemStergios Chatzikyriakidis, Jean-Philippe Bernardy. nodalida 2019: 298-303 [doi]
Explaining Predictions with Enthymematic Counterfactuals Information (short paper)Alexander Berman, Ellen Breitholtz, Christine Howes, Jean-Philippe Bernardy. aiia 2023: 95-100 [doi]
Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability PredictionsAdam Ek, Jean-Philippe Bernardy, Shalom Lappin. nodalida 2019: 76-85 [doi]
A unified view of modalities in type systemsAndreas Abel, Jean-Philippe Bernardy. PACMPL, 4(ICFP), 2020. [doi]
Efficient parallel and incremental parsing of practical context-free languagesJean-Philippe Bernardy, Koen Claessen. JFP, 25, 2015. [doi]
Proofs for free - Parametricity for dependent typesJean-Philippe Bernardy, Patrik Jansson, Ross Paterson. JFP, 22(2):107-152, 2012. [doi]
UniMorph 4.0: Universal MorphologyKhuyagbaatar 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. lrec 2022: 840-855 [doi]
Lazy functional incremental parsingJean-Philippe Bernardy. haskell 2009: 49-60 [doi]
Realizability and Parametricity in Pure Type SystemsJean-Philippe Bernardy, Marc Lasson. fossacs 2011: 108-122 [doi]
A pretty but not greedy printer (functional pearl)Jean-Philippe Bernardy. PACMPL, 1(ICFP), 2017. [doi]
When is Multi-task Learning Beneficial for Low-Resource Noisy Code-switched User-generated Algerian Texts?Wafia Adouane, Jean-Philippe Bernardy. acl-codeswitch 2020: 17-25 [doi]
Improving Neural Network Performance by Injecting Background Knowledge: Detecting Code-switching and Borrowing in Algerian textsWafia Adouane, Jean-Philippe Bernardy, Simon Dobnik. acl-codeswitch 2018: 20-28 [doi]
Dynamic IFC Theorems for Free!Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu. csfw 2021: 1-14 [doi]
A Presheaf Model of Parametric Type TheoryJean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin. ENTCS, 319:67-82, 2015. [doi]
A Computational Treatment of Anaphora and Its Algorithmic ImplementationJean-Philippe Bernardy, Stergios Chatzikyriakidis, Aleksandre Maskharashvili. jolli, 30(1):1-29, 2021. [doi]
Reviving Pacbase COBOL-Generated CodeJean-Philippe Bernardy. compsac 2002: 741-743 [doi]
Linear Haskell: practical linearity in a higher-order polymorphic languageJean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon L. Peyton Jones, Arnaud Spiwack. PACMPL, 2(POPL), 2018. [doi]
Two experiments for embedding Wordnet hierarchy into vector spacesJean-Philippe Bernardy, Aleksandre Maskharashvili. wordnet 2019: 79-84 [doi]
Simple noninterference from parametricityMaximilian Algehed, Jean-Philippe Bernardy. PACMPL, 3(ICFP), 2019. [doi]
Predicates as Boxes in Bayesian Semantics for Natural LanguageJean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili. nodalida 2019: 333-337 [doi]
Probabilistic Compositional Semantics, PurelyJulian Grove, Jean-Philippe Bernardy. jsai 2023: 242-256 [doi]
How Much of Enhanced UD Is Contained in UD?Adam Ek, Jean-Philippe Bernardy. iwpt 2020: 221-226 [doi]
Composing effects into tasks and workflowsYves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg. haskell 2020: 80-94 [doi]
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets CoqJean-Philippe Bernardy, Stergios Chatzikyriakidis. iwcs 2017: [doi]

runs on WebDSL