Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Jean-Philippe Bernardy

Researcher

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

Postal Address: Box 200, 40530 Göteborg
Visiting Address: Olof Wijksgatan 6 , 41255 Göteborg


Department of Philosophy, Linguistics, Theory of Science (More Information)
Box 200
405 30 Göteborg
www.flov.gu.se
flov@flov.gu.se

Visiting Address: Olof Wijksgatan 6 , 412 55 Göteborg

Latest publications

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, Journal article 2018
Journal article

Using Deep Neural Networks to Learn Syntactic Agreement
Jean-Philippe Bernardy, Shalom Lappin
Linguistic Issues in Language Technology, Journal article 2017
Journal article

A pretty but not greedy printer (functional pearl)
Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Journal article 2017
Journal article

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 , Athens, University of Athens, Conference paper 2017
Conference paper

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq​.
Stergios Chatzikyriakidis, Jean-Philippe Bernardy
Proceedings of IWCS 2017, ACL Anthology, Association for Computational Linguistics, Conference paper 2017
Conference paper

Learning Syntactic Agreement with Deep Neural Networks
Jean-Philippe Bernardy, Shalom Lappin
Israel Seminar on Computational Linguistics, September 25, 2017, Conference contribution 2017
Conference contribution

Certified context-free parsing: A formalisation of valiant’s algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science, Journal article 2016
Journal article

Efficient parallel and incremental parsing of practical context-free languages
Jean-Philippe Bernardy, Koen Claessen
Journal of Functional Programming, Journal article 2015
Journal article

A Presheaf Model of Parametric Type Theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer Science, Journal article 2015
Journal article

Showing 1 - 10 of 34

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, Journal article 2018
Journal article

2017

Using Deep Neural Networks to Learn Syntactic Agreement
Jean-Philippe Bernardy, Shalom Lappin
Linguistic Issues in Language Technology, Journal article 2017
Journal article

A pretty but not greedy printer (functional pearl)
Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Journal article 2017
Journal article

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 , Athens, University of Athens, Conference paper 2017
Conference paper

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq​.
Stergios Chatzikyriakidis, Jean-Philippe Bernardy
Proceedings of IWCS 2017, ACL Anthology, Association for Computational Linguistics, Conference paper 2017
Conference paper

Learning Syntactic Agreement with Deep Neural Networks
Jean-Philippe Bernardy, Shalom Lappin
Israel Seminar on Computational Linguistics, September 25, 2017, Conference contribution 2017
Conference contribution

2016

Certified context-free parsing: A formalisation of valiant’s algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science, Journal article 2016
Journal article

2015

Efficient parallel and incremental parsing of practical context-free languages
Jean-Philippe Bernardy, Koen Claessen
Journal of Functional Programming, Journal article 2015
Journal article

A Presheaf Model of Parametric Type Theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer Science, Journal article 2015
Journal article

Showing 1 - 10 of 34

Page Manager: Monica Havström|Last update: 8/22/2016
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?