Segui
Jean-Philippe Bernardy
Jean-Philippe Bernardy
University of Gothenburg and Chalmers University of Technology
Email verificata su gu.se - Home page
Titolo
Citata da
Citata da
Anno
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
1672017
Proofs for free
JP Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (2), 107, 2012
1182012
Using deep neural networks to learn syntactic agreement
JP Bernardy, S Lappin
Linguistic Issues in Language Technology, 2017
782017
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
ICFP 2010 45 (9), 345-356, 2010
762010
A presheaf model of parametric type theory
JP Bernardy, T Coquand, G Moulin
Electronic Notes in Theoretical Computer Science 319, 67-82, 2015
752015
A unified view of modalities in type systems
A Abel, JP Bernardy
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020
692020
Type theory in color
JP Bernardy, G Moulin
662013
Realizability and parametricity in pure type systems
JP Bernardy, M Lasson
Foundations of Software Science and Computational Structures, 108-122, 2011
582011
A computational interpretation of parametricity
JP Bernardy, G Moulin
2012 27th Annual IEEE Symposium on Logic in Computer Science, 135-144, 2012
522012
Can recurrent neural networks learn nested recursion?
JP Bernardy
Linguistic Issues in Language Technology 16, 2018
362018
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
362008
UniMorph 4.0: universal morphology
K Batsuren, O Goldman, S Khalifa, N Habash, W Kieraś, G Bella, ...
arXiv preprint arXiv:2205.03608, 2022
312022
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
312020
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
292021
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
242017
Simple noninterference from parametricity
M Algehed, JP Bernardy
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-22, 2019
222019
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
222018
Certified context-free parsing: A formalisation of Valiant's algorithm in Agda
JP Bernardy, P Jansson
Logical Methods in Computer Science 12, 2016
212016
The influence of context on sentence acceptability judgements
JP Bernardy, S Lappin, JH Lau
Proceedings of the 56th Annual Meeting of the Association for Computational …, 2018
202018
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
202010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20