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


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

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, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Using Deep Neural Networks to Learn Syntactic Agreement
Jean-Philippe Bernardy, Shalom Lappin
Linguistic Issues in Language Technology, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

A pretty but not greedy printer (functional pearl)
Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

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

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

Learning Syntactic Agreement with Deep Neural Networks
Jean-Philippe Bernardy, Shalom Lappin
Israel Seminar on Computational Linguistics, September 25, 2017, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

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

A Presheaf Model of Parametric Type Theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 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, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

2017

Using Deep Neural Networks to Learn Syntactic Agreement
Jean-Philippe Bernardy, Shalom Lappin
Linguistic Issues in Language Technology, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

A pretty but not greedy printer (functional pearl)
Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

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

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

Learning Syntactic Agreement with Deep Neural Networks
Jean-Philippe Bernardy, Shalom Lappin
Israel Seminar on Computational Linguistics, September 25, 2017, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2016

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

2015

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

A Presheaf Model of Parametric Type Theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 34

Sidansvarig: Monica Havström|Sidan uppdaterades: 2016-01-21
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?