- Home
- About
- Find staff
- Jean-Philippe Bernardy
Jean-Philippe Bernardy
Senior Lecturer
Logic and Types-
Probabilistic compositional semantics,
purely
Julian Grove, Jean-Philippe Bernardy
New Frontiers in Artificial Intelligence. JSAI-isAI 2021. Yokohama, Japan, November 13-15, 2021 / Yada, K., Takama, Y., Mineshima, K., Satoh, K. (eds) - 2023 -
Algebraic Effects for Extensible Dynamic
Semantics
Julian Grove, Jean-Philippe Bernardy
Journal of Logic Language and Information - 2023 -
Unitary Recurrent Networks: Algebraic and Linear Structures for
Syntax
Jean-Philippe Bernardy, Shalom Lappin
Shalom Lappin and Jean-Philippe Bernardy (Eds), Algebraic Structures in Natural Language - 2022 -
Linearly Qualified Types: Generic inference for capabilities and
uniqueness
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
Proceedings of the ACM on Programming Languages (PACMPL) - 2022 -
Conditional Language Models for Community-Level Linugistic
Variation
Bill Noble, Jean-Philippe Bernardy
Proceeding of the 2022 Workshop on NLP and Computational Social Science, November 7, 2022 / David Bamman, Dirk Hovy, David Jurgens, Katherine Keith, Brendan O'Connor, Svitlana Volkova (Editors) - 2022 -
Probabilistic Approaches to Linguistic
Theory
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
2022 -
Bayesian Inference Semantics for Natural
Language
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
Probabilistic Approaches to Linguistic Theory / edited by Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili. - 2022 -
Rational Speech Act models are utterance-independent updates of world
priors
Jean-Philippe Bernardy, Julian Grove, Christine Howes
Proceedings of SemDial 2022 (DubDial): The 26th Workshop on the Semantics and Pragmatics of Dialogue, August, 22-24, 2022, Dublin / Eleni Gregoromichelaki, Julian Hough, John D. Kelleher (Editors) - 2022 -
Algebraic Structures in Natural
Language
-
Fine-grained Entailment: Resources for Greek NLI and Precise
Entailment
Erini Amanaki, Jean-Philippe Bernardy, Stergios Chatzikyriakidis, Robin Cooper, Simon Dobnik, Aram Karimi, Adam Ek, Eirini Chrysovalantou Giannikouri, Vasiliki Katsouli, Ilias Kolokousis, Eirini Chrysovalantou Mamatzaki, Dimitrios Papadakis, Olga Petrova, Erofili Psaltaki, Charikleia Soupiona, Effrosyni Skoulataki, Christina Stefanidou
Proceedings of the Workshop on Dataset Creation for Lower-Resourced Languages within the 13th Language Resources and Evaluation Conference - 2022 -
Explaining predictions with enthymematic
counterfactuals
Alexander Berman, Ellen Breitholtz, Christine Howes, Jean-Philippe Bernardy
Proceedings of the 1st Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming, BEWARE-22 - 2022 -
Assessing the Unitary RNN as an End-to-End Compositional Model of
Syntax
Jean-Philippe Bernardy, Shalom Lappin
EPTCS 366. Proceedings End-to-End Compositional Models of Vector-Based Semantics, NUI Galway, 15-16 August, 2022, edited by: Michael Moortgat and Gijs Wijnholds - 2022 -
A Neural Model for Compositional Word Embeddings and Sentence
Processing
Jean-Philippe Bernardy, Shalom Lappin
Proceedings of the Workshop on Cognitive Modeling and Computational Linguistics, May 26, 2022, Dublin, Ireland - 2022 -
Domain-Specific Languages of
Mathematics
Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy
2022 -
Predicting laughter relevance spaces in
dialogue
Vladislav Maraev, Christine Howes, Jean-Philippe Bernardy
Marchi E., Siniscalchi S.M., Cumani S., Salerno V.M., Li H. (eds) Increasing Naturalness and Flexibility in Spoken Dialogue Interaction. Lecture Notes in Electrical Engineering, vol 714. - 2021 -
A Computational Treatment of Anaphora and its Algorithmic
Implementation
Jean-Philippe Bernardy, Stergios Chatzikyriakidis, Aleksandre Maskharashvili
Journal of Logic, Language and Information - 2021 -
Semantic Learning in a Probabilistic Type Theory with
Records
Staffan Larsson, Jean-Philippe Bernardy, Robin Cooper
Proceedings of Computing Semantics with Types, Frames and Related Structures, Workshop at ESSLLI 2021, July 26-27, 2021, ed. by Stergios Chatzikyriakidis and Rainer Osswald - 2021 -
Evaluating Linear Functions to Symmetric Monoidal
Categories
Jean-Philippe Bernardy, Arnaud Spiwack
Haskell ’21. Proceedings of the 14th ACM SIGPLAN International Haskell Symposium on Haskell, August 26–27, 2021, Virtual, Republic of Korea / Edited by : Jurriaan Hage - 2021 -
Can argument-predicate relationships be extracted from UD
trees?
Adam Ek, Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Proceedings of the Joint 15th Linguistic Annotation Workshop (LAW) and 3rd Designing Meaning Representations (DMR) Workshop, November 2021 - 2021 -
Applied Temporal Analysis: A Complete Run of the FraCaS Test
Suite
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Proceedings of the 14th International Conference on Computational Semantics, June 17 - 18, 2021, Groningen, The Netherlands (Online) - 2021 -
From compositional semantics to Bayesian pragmatics via logical
inference
Julian Grove, Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Natural Logic Meets Machine Learning (NALOMA). Proceedings of the 1st and 2nd Workshops, June 16, 2021, online - 2021 -
Semantic Classification and Learning Using a Linear Tranformation Model in a Probabilistic Type Theory with
Records
Staffan Larsson, Jean-Philippe Bernardy
ReInAct 2021. Proceedings of the Conference on Reasoning and Interaction, Gothenburg and online 4–6 October, 2021 / Christine Howes, Simon Dobnik, Ellen Breitholtz and Stergios Chatzikyriakidis (eds.) - 2021 -
Modalities in
Type-Systems
Jean-Philippe Bernardy
Workshop on Computing Semantics with Types, Frames and Related Structures, July 26-27, 2021, Held virtually - 2021 -
Linear Haskell: Today and
Tomorrow
Jean-Philippe Bernardy
Haskell Symposium, 26-27 August, 2021. - 2021 -
Training Strategies for Neural Multilingual Morphological
Inflection
Adam Ek, Jean-Philippe Bernardy
Proceedings of the 18th SIGMORPHON Workshop on Computational Research in Phonetics, Phonology, and Morphology. August 2021, Online, pp. 260–267 - 2021 -
SIGMORPHON 2021 Shared Task on Morphological Reinflection: Generalization Across
Languages
Tiago Piementel, Maria Ryskina, Sabrina Mielke, Shiji Wu, Eleanor Chodroff, Brian Leonard, Garret Nicolai, Yustinus Ghanggo Ate, Salam Khalifa, Nizar Habash, Charbel El-Khaissi, Omer Goldman, Michael Gasser, William Lane, Matt Coler, Arturo Oncevay, Jaime Rafael Montoya Samame, Gema Celeste Silva Villegas, Adam Ek, Jean-Philippe Bernardy, Andrey Shcherbakov, Aziyana Bayyr-ool, Karina Sheifer, Sofya Ganieva, Matvey Plugaryov, Elena Klyachko, Ali Salehi, Andrew Krizhanovsky, Natalia Krizhanovsky, Clara Vania, Sardana Ivanova, Aelita Salchak, Christopher Straughn, Zoey Liu, Jonathan North Washington, Duygu Ataman, Witold Kieras, Marcin Wolinski, Totok Suhardijanto, Niklas Stoehr, Zahroh Nuriah, Shyam Ratan, Francis M. Tyers, Edoardo M. Ponti, Richard J. Hatcher, Emily Prud'hommeaux, Ritesh Kumar, Mans Hulden, Botond Barta, Dorina Lakatos, Gábor Szolnok, Judit Ács, Mohit Raj, David Yarowsky, Ryan Cotterell, Ben Ambridge, Ekaterina Vylomova
Proceedings of the 18th SIGMORPHON Workshop on Computational Research in Phonetics, Phonology, and Morphology. August 2021, Online, pp. 229–259 - 2021 -
Can the Transformer Learn Nested Recursion with Symbol
Masking?
Jean-Philippe Bernardy, Adam Ek, Vladislav Maraev
Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, August 1 - 6, 2021, Online / Chengqing Zong, Fei Xia, Wenjie Li, Roberto Navigli (Editors) - 2021 -
Dynamic IFC Theorems for
Free!
Maximilian Algehed, Jean-Philippe Bernardy, Cătălin Hirţcu
Proceedings of the 34th IEEE Computer Security Foundations Symposium - 2021 -
Why Should I Turn
Left?
Vladislav Maraev, Ellen Breitholtz, Christine Howes, Jean-Philippe Bernardy
Proceedings of the Reasoning and Interaction Conference (ReInAct 2021) - 2021 -
Non-humorous use of laughter in spoken dialogue
systems
Vladislav Maraev, Jean-Philippe Bernardy, Christine Howes
Proceedings of the 7th Linguistic and Cognitive Approaches To Dialog Agents Workshop, LaCATODA 2021, Montreal, Canada, August 21, 2021 (online) / Rafal Rzepka, Jordi Vallverdú, Andre Wlodarczyk, Michal Ptaszynski and Pawel Dybala (Eds.) - 2021 -
A Unified View of Modalities in Type
Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages - 2020 -
Dialogue management with linear logic: the role of metavariables in questions and
clarifications
Vladislav Maraev, Jean-Philippe Bernardy, Jonathan Ginzburg
Traitement Automatique des Langues - 2020 -
A logic with measurable spaces for natural language
semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
Applied Mathematics, Informatics And Mechanics - 2020 -
Composing Effects into Tasks and
Workflows
Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg
Proceedings of the 13th ACM SIGPLAN International Haskell Symposium (Haskell’20), August 27, 2020, Virtual Event, New York, USA - 2020 -
Composing Byte-Pair Encodings for Morphological Sequence
Classification
Adam Ek, Jean-Philippe Bernardy
Proceedings of the Fourth Workshop on Universal Dependencies (UDW 2020), December 13, 2020, Barcelona, Spain (Online) - 2020 -
How does Punctuation Affect Neural Models in Natural Language
Inference
Adam Ek, Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Proceedings of the Probability and Meaning Conference (PaM 2020), October 14-15, 2020, s. 109-116 - 2020 -
When is Multi-task Learning Beneficial for Low-Resource Noisy Code-switched User-generated Algerian
Texts?
Wafia Adouane, Jean-Philippe Bernardy
Fourth Workshop on Computational Approaches to Linguistic Code-Switching. Language Resources and Evaluation Conference (LREC 2020), Marseille, 11–16 May 202 - 2020 -
How much of enhanced UD is contained in
UD?
Adam Ek, Jean-Philippe Bernardy
Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies, July 9, 2020 / Gosse Bouma, Yuji Matsumoto, Stephan Oepen, Kenji Sagae, Djamé Seddah, Weiwei Sun, Anders Søgaard, Reut Tsarfaty, Dan Zeman (Editors) - 2020 -
Improving the precision of natural textual entailment problem
datasets
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Proceedings of the 12th Conference on Language Resources and Evaluation (LREC 2020), Marseille, 11–16 May 2020 - 2020 -
Identifying Sentiments in Algerian Code-switched User-generated
Comments
Wafia Adouane, Samia Touileb, Jean-Philippe Bernardy
Proceedings of the 12th Conference on Language Resources and Evaluation (LREC 2020), Marseille, 11–16 May 2020 - 2020 -
Simple noninterference from
parametricity
Maximilian Algehed, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages - 2019 -
What Kind of Natural Language Inference are NLP Systems Learning: Is this
Enough?
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2, February 19-21, 2019, Prague, Czech Republic / editors: Ana Rocha ; Luc Steels and Jaap van den Herik - 2019 -
Neural Models for Detecting Binary Semantic Textual Similarity for Algerian and
MSA
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
Proceedings of the Fourth Arabic Natural Language Processing Workshop, WANLP 2019, Jul 28-Aug 2, Florence, Italy. pp. 78-87 - 2019 -
Two experiments for embedding Wordnet hierarchy into vector
spaces
Jean-Philippe Bernardy, Aleksandre Maskharashvili
Fellbaum, Christiane; Vossen, Piek; Rudnicka, Ewa; et al., 2019, Proceedings of the 10th Global WordNet Conference, July 23–27, 2019, Wrocław, Poland - 2019 -
Normalising Non-standardised Orthography in Algerian Code-switched User-generated
Data
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
The 5th Workshop on Noisy User-generated Text (W-NUT), November 4, 2019, Hong Kong / Wei Xu, Alan Ritter, Tim Baldwin, Afshin Rahimi (Editors) - 2019 -
Bayesian Inference Semantics: A Modelling System and A Test
Suite
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM), 6-7 June 2019, Minneapolis, Minnesota, USA / Rada Mihalcea, Ekaterina Shutova, Lun-Wei Ku, Kilian Evang, Soujanya Poria (Editors) - 2019 -
Predicates as Boxes in Bayesian Semantics for Natural
Language
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa 2019), 30 September-2 October, 2019, Turku, Finland / Mareike Hartmann, Barbara Plank (Editors) - 2019 -
Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability
Predictions
Adam Ek, Jean-Philippe Bernardy, Shalom Lappin
Proceedings of the 22nd Nordic Conference on Computational Linguistics, 30 September – 2 October, 2019, Turku, Finland / Mareike Hartmann, Barbara Plank (Editors) - 2019 -
A Wide-Coverage Symbolic Natural Language Inference
System
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Proceedings of the 22nd Nordic Conference on Computational Linguistics, 30 September – 2 October, 2019, Turku, Finland / Mareike Hartmann, Barbara Plank (Editors) - 2019 -
A Logic with Measurable Spaces for Natural Language
Semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019. - 2019 -
Can Recurrent Neural Networks Learn Nested
Recursion?
Jean-Philippe Bernardy
Linguistic Issues in Language Technology - 2018 -
Improving Neural Network Performance by Injecting Background Knowledge: Detecting Code-switching and Borrowing in Algerian
texts
Wafia Adouane, Jean-Philippe Bernardy, Simon Dobnik
Proceedings of the Third Workshop on Computational Approaches to Linguistic Code-switching, Melbourne, Australia, July 19, 2018 - 2018 -
Towards KoS/TTR-based proof-theoretic dialogue
management
Vladislav Maraev, Jonathan Ginzburg, Staffan Larsson, Ye Tian, Jean-Philippe Bernardy
Proceedings of SemDial 2018 (AixDial): The 22nd Workshop on the Semantics and Pragmatics of Dialogue, Aix-en-Provence, 8-10 November 2018 / Laurent Prévot, Magalie Ochs and Benoît Favre (eds.) - 2018 -
A Comparison of Character Neural Language Model and Bootstrapping for Language Identification in Multilingual Noisy
Texts
Wafia Adouane, Simon Dobnik, Jean-Philippe Bernardy, Nasredine Semmar
Proceedings of the Second Workshop on Subword and Character Level Models in NLP (SCLeM), June 6, 2018 New Orleans, Louisiana - 2018 -
A Compositional Bayesian Semantics for Natural
Language
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin
Proceedings of the First International Workshop on Language Cognition and Computational Models, COLING 2018, August 20, 2018 Santa Fe, New Mexico, USA - 2018 -
The Influence of Context on Sentence Acceptability
Judgements
Jean-Philippe Bernardy, Shalom Lappin, Jey Han Lau
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Short Papers). Melbourne, Australia, July 15 - 20, 2018 - 2018 -
Linear Haskell: practical linearity in a higher-order polymorphic
language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan Newton, Simon Peyton Jones, Arnaud Spiwack
Proceedings of the ACM on Programming Languages - 2018 -
A pretty but not greedy printer (functional
pearl)
Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages - 2017 -
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets
Coq.
Stergios Chatzikyriakidis, Jean-Philippe Bernardy
Proceedings of IWCS 2017 long papers volume, ACL anthology W17 - 68 xx. 12th International Conference on Computational Semantics, Montpellier 19 - 22 September 2017. Edited by Claire Gardent & Christian Retoré - 2017 -
Using Deep Neural Networks to Learn Syntactic
Agreement
Jean-Philippe Bernardy, Shalom Lappin
Linguistic Issues in Language Technology - 2017 -
Modelling prosodic structure using Artificial Neural
Networks
Jean-Philippe Bernardy, Charalambos Themistocleous
ExLing 2017. Proceedings of 8 th Tutorial and Research Workshop on Experimental Linguistics, 19-22 June 2017, Heraklion, Crete, Greece / edited by Antonis Botinis - 2017 -
Learning Syntactic Agreement with Deep Neural
Networks
Jean-Philippe Bernardy, Shalom Lappin
Israel Seminar on Computational Linguistics, September 25, 2017 - 2017 -
Certified context-free parsing: A formalisation of valiant’s algorithm in
Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science - 2016 -
A presheaf model of parametric type
theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
2015 -
Efficient parallel and incremental parsing of practical context-free
languages
Jean-Philippe Bernardy, Koen Claessen
Journal of Functional Programming - 2015 -
A Presheaf Model of Parametric Type
Theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer Science - 2015 -
Efficient Parallel and Incremental
Parsing
Jean-Philippe Bernardy, Koen Claessen
Journal of functional programming - 2015 -
Compiling Linear Logic using
Continuations
Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
2014 -
Efficient divide-and-conquer parsing of practical context-free
languages
Jean-Philippe Bernardy, Koen Claessen
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP - 2013 -
Names for free: polymorphic views of names and
binders
Jean-Philippe Bernardy, Nicolas Pouillard
ACM SIGPLAN Notices - 2013 -
Efficient Divide-and-Conquer Parsing of Practical Context-Free
Languages
Jean-Philippe Bernardy, Koen Claessen
SIGPLAN notices - 2013 -
Names For Free - Polymorphic Views of Names and
Binders
Jean-Philippe Bernardy, Nicolas Pouillard
ACM SIGPLAN Haskell Symposium Co-located with ICFP - 2013 -
Type-Theory In
Color
Jean-Philippe Bernardy, Guilhem Moulin
ACM SIGPLAN Notices - 2013 -
Type-Theory in
Color
Jean-Philippe Bernardy, Guilhem Moulin
18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013; Boston, MA; United States; 25 September 2013 through 27 September 2013 - 2013 -
Proofs for Free - Parametricity for dependent
types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Journal of Functional Programming - 2012 -
A Computational Interpretation of
Parametricity
Jean-Philippe Bernardy, Guilhem Moulin
IEEE Symposium on Logic in Computer Science. 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia, June 25-28, 2012 - 2012 -
A Theory of Parametric Polymorphism and an
Application
-
Realizability and Parametricity in Pure Type
Systems
Jean-Philippe Bernardy, Marc Lasson
Lecture Notes in Computer Science. 14th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2011 - 2011 -
Towards a computational interpretation of
parametricity
Jean-Philippe Bernardy, Guilhem Moulin
2011 -
Parametricity and Dependent
Types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
SIGPLAN notices - 2010 -
An abstraction theorem for pure type
systems
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
2010 -
Parametricity and dependent
types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland - 2010 -
Generic programming with C++ concepts and Haskell type classes—a
comparison
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
Journal of Functional Programming - 2010 -
Testing Polymorphic
Properties
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010 - 2010 -
Yi An Editor in Haskell for
Haskell
Jean-Philippe Bernardy
ACM Sigplan Notices - 2009 -
Lazy Functional Incremental
Parsing
Jean-Philippe Bernardy
ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September - 2009 -
Software Engineering using Typed Functional
Programming
-
A comparison of C++ concepts and Haskell type
classes
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas Priesnitz
ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008 - 2008 -
Yi - An Editor in Haskell for
Haskell
Jean-Philippe Bernardy
ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008 - 2008 -
Reviving Pacbase COBOL-Generated
Code
Jean-Philippe Bernardy
Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment - 2002