Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Jean-Philippe Bernardy

Forskare

Jean-Philippe Bernardy
Forskare
jean-philippe.bernardy@gu.se

Postadress: Box 200, 40530 Göteborg
Besöksadress: Olof wijksgatan 6 , 41255 Göteborg


Avdelningen för lingvistik, logik och vetenskapsteori vid Institutionen för filosofi, lingvistik och vetenskapsteori (Mer information)
Box 200
405 30 Göteborg
www.flov.gu.se
flov@flov.gu.se
Besöksadress: Olof Wijksgatan 6 , 412 55 Göteborg

Senaste publikationer

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 , Stroudsburg, PA , Association for Computational Linguistics, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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), Linköping, Linköping University Electronic Press, Paper i proceeding 2019
Paper i proceeding

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), University of Linköping, Linköping University Electronic Press, Paper i proceeding 2019
Paper i proceeding

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), University of Linköping, Linköping University Electronic Press, Paper i proceeding 2019
Paper i proceeding

Simple noninterference from parametricity
Maximilian Algehed, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Two experiments for embedding Wordnet hierarchy into vector spaces
Jean-Philippe Bernardy, Aleksandre Maskharashvili
Proceedings of the 10th Global WordNet Conference, The Global WordNet Association, Paper i proceeding 2019
Paper i proceeding

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., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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 at ACL, Florence, Italy, August 1, 2019., Florence, Italy, Association for Computational Linguistics, Paper i proceeding 2019
Paper i proceeding

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 , SciTePress, Paper i proceeding 2019
Paper i proceeding

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), Association for Computational Linguistics, Paper i proceeding 2019
Paper i proceeding

Visar 31 - 40 av 51

2013

Names for free: polymorphic views of names and binders
Jean-Philippe Bernardy, Nicolas Pouillard
ACM SIGPLAN Notices, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages
Jean-Philippe Bernardy, Koen Claessen
SIGPLAN notices, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Names For Free - Polymorphic Views of Names and Binders
Jean-Philippe Bernardy, Nicolas Pouillard
ACM SIGPLAN Haskell Symposium Co-located with ICFP, Paper i proceeding 2013
Paper i proceeding

Type-Theory In Color
Jean-Philippe Bernardy, Guilhem Moulin
ACM SIGPLAN Notices, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

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, Paper i proceeding 2013
Paper i proceeding

2012

Proofs for Free - Parametricity for dependent types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

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, Paper i proceeding 2012
Paper i proceeding

2011

A Theory of Parametric Polymorphism and an Application
Jean-Philippe Bernardy
Göteborg, Chalmers University of Technology, Doktorsavhandling 2011
Doktorsavhandling

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, Paper i proceeding 2011
Paper i proceeding

Visar 31 - 40 av 51

Sidansvarig: Monica Havström|Sidan uppdaterades: 2018-01-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?