Jean-Philippe Bernardy

Richard A. Eisenberg

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

When is Multi-task Learning Beneficial for Low-Resource Noisy Code-switched User-generated Algerian Texts?

[BibT_eX]

[DOI]

Proceedings of the The 4th Workshop on Computational Approaches to Code Switching, 2020

2019

Simple noninterference from parametricity.

[BibT_eX]

[DOI]

Maximilian Algehed

Proc. ACM Program. Lang., 2019

Two experiments for embedding Wordnet hierarchy into vector spaces.

[BibT_eX]

[DOI]

Aleksandre Maskharashvili

Proceedings of the 10th Global Wordnet Conference, 2019

Neural Models for Detecting Binary Semantic Textual Similarity for Algerian and MSA.

[BibT_eX]

[DOI]

Simon Dobnik

Proceedings of the Fourth Arabic Natural Language Processing Workshop, 2019

Bayesian Inference Semantics: A Modelling System and A Test Suite.

[BibT_eX]

[DOI]

Rasmus Blanck

Aleksandre Maskharashvili

Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics, 2019

Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions.

[BibT_eX]

[DOI]

Adam Ek

Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30, 2019

A Wide-Coverage Symbolic Natural Language Inference System.

[BibT_eX]

[DOI]

Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30, 2019

Predicates as Boxes in Bayesian Semantics for Natural Language.

[BibT_eX]

[DOI]

Rasmus Blanck

Aleksandre Maskharashvili

Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30, 2019

Predicting Laughter Relevance Spaces in Dialogue.

[BibT_eX]

[DOI]

Vladislav Maraev

Christine Howes

Proceedings of the Increasing Naturalness and Flexibility in Spoken Dialogue Interaction, 2019

What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough?

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Normalising Non-standardised Orthography in Algerian Code-switched User-generated Data.

[BibT_eX]

[DOI]

Simon Dobnik

Proceedings of the 5th Workshop on Noisy User-generated Text, 2019

2018

Linear Haskell: practical linearity in a higher-order polymorphic language.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

A corpus of precise natural textual entailment problems.

[BibT_eX]

[DOI]

CoRR, 2018

The Influence of Context on Sentence Acceptability Judgements.

[BibT_eX]

[DOI]

Jey Han Lau

Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

Improving Neural Network Performance by Injecting Background Knowledge: Detecting Code-switching and Borrowing in Algerian texts.

[BibT_eX]

[DOI]

Simon Dobnik

Proceedings of the Third Workshop on Computational Approaches to Linguistic Code-Switching@ACL 2018, 2018

2017

A pretty but not greedy printer (functional pearl).

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Modelling prosodic structure using Artificial Neural Networks.

[BibT_eX]

[DOI]

Charalambos Themistocleous

CoRR, 2017

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.

[BibT_eX]

[DOI]

Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19, 2017

2016

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda.

[BibT_eX]

[DOI]

Patrik Jansson

Log. Methods Comput. Sci., 2016

2015

Efficient parallel and incremental parsing of practical context-free languages.

[BibT_eX]

[DOI]

Koen Claessen

J. Funct. Program., 2015

A Presheaf Model of Parametric Type Theory.

[BibT_eX]

[DOI]

Thierry Coquand

Guilhem Moulin

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2013

Type-theory in color.

[BibT_eX]

[DOI]

Guilhem Moulin

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Efficient divide-and-conquer parsing of practical context-free languages.

[BibT_eX]

[DOI]

Koen Claessen

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Names for free: polymorphic views of names and binders.

[BibT_eX]

[DOI]

Nicolas Pouillard

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Proofs for free - Parametricity for dependent types.

[BibT_eX]

[DOI]

Patrik Jansson

Ross Paterson

J. Funct. Program., 2012

A Computational Interpretation of Parametricity.

[BibT_eX]

[DOI]

Guilhem Moulin

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011

A Theory of Parametric Polymorphism and an Application ; A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing.

[BibT_eX]

[DOI]

PhD thesis, 2011

Realizability and Parametricity in Pure Type Systems.

[BibT_eX]

[DOI]