Jean-Philippe Bernardy
Jean-Philippe Bernardy
Verified email at - Homepage
Cited by
Cited by
Proofs for free
JP Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (2), 107, 2012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
ICFP 2010 45 (9), 345-356, 2010
Type theory in color
JP Bernardy, G Moulin
A presheaf model of parametric type theory
JP Bernardy, T Coquand, G Moulin
Electronic Notes in Theoretical Computer Science 319, 67-82, 2015
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
Realizability and parametricity in pure type systems
JP Bernardy, M Lasson
Foundations of Software Science and Computational Structures, 108-122, 2011
Using deep neural networks to learn syntactic agreement
JP Bernardy, S Lappin
Linguistic Issues in Language Technology, 2017
Testing polymorphic properties
JP Bernardy, P Jansson, K Claessen
Programming Languages and Systems, 125-144, 2010
A computational interpretation of parametricity
JP Bernardy, G Moulin
2012 27th Annual IEEE Symposium on Logic in Computer Science, 135-144, 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
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
Can recurrent neural networks learn nested recursion?
JP Bernardy
Linguistic Issues in Language Technology, Volume 16, 2018, 2018
Lazy functional incremental parsing
JP Bernardy
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 49-60, 2009
Certified context-free parsing: A formalisation of Valiant's algorithm in Agda
JP Bernardy, P Jansson
arXiv preprint arXiv:1601.07724, 2016
A type-theoretical system for the FraCaS test suite: Grammatical framework meets Coq
JP Bernardy, S Chatzikyriakidis
IWCS 2017-12th International Conference on Computational Semantics-Long papers, 2017
Efficient divide-and-conquer parsing of practical context-free languages
JP Bernardy, K Claessen
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
Yi: an editor in Haskell for Haskell
JP Bernardy
ACM Sigplan Notices 44 (2), 61-62, 2008
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
A Theory of Parametric Polymorphism and an Application
JP Bernardy
PhD thesis, Chalmers University of Technology, 2011
Simple noninterference from parametricity
M Algehed, JP Bernardy
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-22, 2019
The system can't perform the operation now. Try again later.
Articles 1–20