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
031-786 5911

Postadress: Box 200, 40530 Göteborg
Besöksadress: Renströmsgatan 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: Renströmsgatan 6 , 412 55 Göteborg

Senaste publikationer

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Identifying Sentiments in Algerian Code-switched User-generated Comments
Wafia Adouane, Samia Touileb, Jean-Philippe Bernardy
Language Resources and Evaluation Conference, Paper i proceeding 2020
Paper i proceeding

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

How does Punctuation Affect Neural Models in Natural Language Inference
Adam Ek, Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Computational linguistics - Association for Computational Linguistics, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

How much of enhanced UD is contained in UD?
Adam Ek, Jean-Philippe Bernardy
Computational linguistics - Association for Computational Linguistics, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Improving the precision of natural textual entailment problem datasets
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Language Resources and Evaluation Conference, Paper i proceeding 2020
Paper i proceeding

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

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, Wrocław, Oficyna Wydawnicza Politechniki Wrocławskiej, Paper i proceeding 2019
Paper i proceeding

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

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

Visar 41 - 50 av 57

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, 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

2010

Parametricity and Dependent Types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
SIGPLAN notices, Artikel i vetenskaplig tidskrift 2010
Artikel i vetenskaplig tidskrift

Parametricity and dependent types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland, Paper i proceeding 2010
Paper i proceeding

Testing Polymorphic Properties
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010, Paper i proceeding 2010
Paper i proceeding

Visar 41 - 50 av 57

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?