Linear Haskell: practical linearity in a higher-order polymorphic language JP Bernardy, M Boespflug, RR Newton, S Peyton Jones, A Spiwack Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 145 | 2017 |
Proofs for free JP Bernardy, P Jansson, R Paterson Journal of Functional Programming 22 (2), 107, 2012 | 112 | 2012 |
A presheaf model of parametric type theory JP Bernardy, T Coquand, G Moulin Electronic Notes in Theoretical Computer Science 319, 67-82, 2015 | 74 | 2015 |
Using deep neural networks to learn syntactic agreement JP Bernardy, S Lappin Linguistic Issues in Language Technology, 2017 | 73 | 2017 |
Parametricity and dependent types JP Bernardy, P Jansson, R Paterson ICFP 2010 45 (9), 345-356, 2010 | 73 | 2010 |
Type theory in color JP Bernardy, G Moulin | 65 | 2013 |
A unified view of modalities in type systems A Abel, JP Bernardy Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020 | 60 | 2020 |
Realizability and parametricity in pure type systems JP Bernardy, M Lasson Foundations of Software Science and Computational Structures, 108-122, 2011 | 55 | 2011 |
A computational interpretation of parametricity JP Bernardy, G Moulin 2012 27th Annual IEEE Symposium on Logic in Computer Science, 135-144, 2012 | 50 | 2012 |
A comparison of C++ concepts and Haskell type classes JP Bernardy, P Jansson, M Zalewski, S Schupp, A Priesnitz Proceedings of the ACM SIGPLAN workshop on Generic programming, 37-48, 2008 | 36 | 2008 |
Can recurrent neural networks learn nested recursion? JP Bernardy Linguistic Issues in Language Technology 16, 2018 | 34 | 2018 |
Sigmorphon 2021 shared task on morphological reinflection: Generalization across languages T Pimentel, M Ryskina, SJ Mielke, S Wu, E Chodroff, B Leonard, G Nicolai, ... SIGMORPHON Workshop on Computational Research in Phonetics, Phonology, and …, 2021 | 25 | 2021 |
How does punctuation affect neural models in natural language inference A Ek, JP Bernardy, S Chatzikyriakidis Proceedings of the Probability and Meaning Conference (PaM 2020), 109-116, 2020 | 24 | 2020 |
A type-theoretical system for the FraCaS test suite: Grammatical framework meets Coq JP Bernardy, S Chatzikyriakidis Proceedings of the 12th International Conference on Computational Semantics …, 2017 | 24 | 2017 |
UniMorph 4.0: universal morphology K Batsuren, O Goldman, S Khalifa, N Habash, W Kieraś, G Bella, ... arXiv preprint arXiv:2205.03608, 2022 | 23 | 2022 |
Simple noninterference from parametricity M Algehed, JP Bernardy Proceedings of the ACM on Programming Languages 3 (ICFP), 1-22, 2019 | 21 | 2019 |
A compositional Bayesian semantics for natural language JP Bernardy, R Blanck, S Chatzikyriakidis, S Lappin Proceedings of the First International Workshop on Language Cognition and …, 2018 | 21 | 2018 |
Certified context-free parsing: A formalisation of Valiant's algorithm in Agda JP Bernardy, P Jansson Logical Methods in Computer Science 12, 2016 | 21 | 2016 |
Generic programming with C++ concepts and Haskell type classes—a comparison JP Bernardy, P Jansson, M Zalewski, S Schupp Journal of Functional Programming 20 (3-4), 271-302, 2010 | 20 | 2010 |
Lazy functional incremental parsing JP Bernardy Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 49-60, 2009 | 18 | 2009 |