Jean-Philippe Bernardy
Forskare
Avdelningen för lingvistik, logik och-
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-01-01 -
A LOGIC WITH MEASURABLE SPACES FOR NATURAL LANGUAGE
SEMANTICS
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
Applied Mathematics, Informatics And Mechanics - 2020-01-01 -
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-01-01 -
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-01-01 -
A Computational Treatment of Anaphora and its Algorithmic
Implementation
Jean-Philippe Bernardy, Stergios Chatzikyriakidis, Aleksandre Maskharashvili
Journal of Logic, Language and Information - 2020-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
Algebraic Effects with Tasks Build Composable Data
Workflows
Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg
Proceedings of the Haskell Symposium - 2020-01-01 -
A Unified View of Modalities in Type
Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages - 2020-01-01 -
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-01-01 -
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-01-01 -
Predicting laughter relevance spaces in
dialogue
Vladislav Maraev, Christine Howes, Jean-Philippe Bernardy
Workshop on Spoken Dialogue Systems (IWSDS), Siracusa, Italy, April 24-26, 2019 - 2019-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
Simple noninterference from
parametricity
Maximilian Algehed, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages - 2019-01-01 -
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-01-01 -
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-01-01 -
Can Recurrent Neural Networks Learn Nested
Recursion?
Jean-Philippe Bernardy
Linguistic Issues in Language Technology - 2018-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
Using Deep Neural Networks to Learn Syntactic
Agreement
Jean-Philippe Bernardy, Shalom Lappin
Linguistic Issues in Language Technology - 2017-01-01 -
A pretty but not greedy printer (functional
pearl)
Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages - 2017-01-01 -
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-01-01 -
Learning Syntactic Agreement with Deep Neural
Networks
Jean-Philippe Bernardy, Shalom Lappin
Israel Seminar on Computational Linguistics, September 25, 2017 - 2017-01-01 -
Certified context-free parsing: A formalisation of valiant’s algorithm in
Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science - 2016-01-01 -
A presheaf model of parametric type
theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
- 2015-01-01 -
Efficient parallel and incremental parsing of practical context-free
languages
Jean-Philippe Bernardy, Koen Claessen
Journal of Functional Programming - 2015-01-01 -
A Presheaf Model of Parametric Type
Theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer Science - 2015-01-01 -
Efficient Parallel and Incremental
Parsing
Jean-Philippe Bernardy, Koen Claessen
Journal of functional programming - 2015-01-01 -
Compiling Linear Logic using
Continuations
Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
- 2014-01-01 -
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-01-01 -
Names for free: polymorphic views of names and
binders
Jean-Philippe Bernardy, Nicolas Pouillard
ACM SIGPLAN Notices - 2013-01-01 -
Efficient Divide-and-Conquer Parsing of Practical Context-Free
Languages
Jean-Philippe Bernardy, Koen Claessen
SIGPLAN notices - 2013-01-01 -
Names For Free - Polymorphic Views of Names and
Binders
Jean-Philippe Bernardy, Nicolas Pouillard
ACM SIGPLAN Haskell Symposium Co-located with ICFP - 2013-01-01 -
Type-Theory In
Color
Jean-Philippe Bernardy, Guilhem Moulin
ACM SIGPLAN Notices - 2013-01-01 -
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-01-01 -
Proofs for Free - Parametricity for dependent
types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Journal of Functional Programming - 2012-01-01 -
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-01-01 -
A Theory of Parametric Polymorphism and an
Application
Jean-Philippe Bernardy
- 2011-01-01 -
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-01-01 -
Towards a computational interpretation of
parametricity
Jean-Philippe Bernardy, Guilhem Moulin
- 2011-01-01 -
Testing Polymorphic
Properties
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010 - 2010-01-01 -
Parametricity and Dependent
Types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
SIGPLAN notices - 2010-01-01 -
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-01-01 -
Parametricity and dependent
types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland - 2010-01-01 -
An abstraction theorem for pure type
systems
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
- 2010-01-01 -
Yi An Editor in Haskell for
Haskell
Jean-Philippe Bernardy
ACM Sigplan Notices - 2009-01-01 -
Lazy Functional Incremental
Parsing
Jean-Philippe Bernardy
ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September - 2009-01-01 -
Software Engineering using Typed Functional
Programming
Jean-Philippe Bernardy
- 2009-01-01 -
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-01-01 -
Yi - An Editor in Haskell for
Haskell
Jean-Philippe Bernardy
ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008 - 2008-01-01 -
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-01-01