Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Jean-Philippe
    Last name: Bernardy
    DBLP: 47/929
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 21  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Jean-Philippe Bernardy, Mathieu Boespflug, Ryan Newton, Simon L. Peyton Jones, Arnaud Spiwack.
    Linear Haskell: practical linearity in a higher-order polymorphic language.
    PACMPL 2018, Volume 2 (0) 2018
    Journal article
    Jean-Philippe Bernardy, Charalambos Themistocleous.
    Modelling prosodic structure using Artificial Neural Networks.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Jean-Philippe Bernardy.
    A pretty but not greedy printer (functional pearl).
    PACMPL 2017, Volume 1 (0) 2017
    Conference paper
    Jean-Philippe Bernardy, Mathieu Boespflug, Ryan Newton, Simon L. Peyton Jones, Arnaud Spiwack.
    Linear Haskell: practical linearity in a higher-order polymorphic language.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Jean-Philippe Bernardy, Stergios Chatzikyriakidis.
    A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
    IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017 2017 (0) 2017
    Conference paper
    Jean-Philippe Bernardy, Patrik Jansson.
    Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda.
    Logical Methods in Computer Science 2016, Volume 12 (0) 2016
    Conference paper
    Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin.
    A Presheaf Model of Parametric Type Theory.
    Electr. Notes Theor. Comput. Sci. 2015, Volume 319 (0) 2015
    Conference paper
    Jean-Philippe Bernardy, Koen Claessen.
    Efficient parallel and incremental parsing of practical context-free languages.
    J. Funct. Program. 2015, Volume 25 (0) 2015
    Conference paper
    Jean-Philippe Bernardy, Koen Claessen.
    Efficient divide-and-conquer parsing of practical context-free languages.
    ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013 2013 (0) 2013
    Conference paper
    Jean-Philippe Bernardy, Guilhem Moulin.
    Type-theory in color.
    ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013 2013 (0) 2013
    Show item 1 to 10 of 21  

    Your query returned 21 matches in the database.