Jean-Philippe Bernardy
Jean-Philippe Bernardy
Verified email at gu.se - Homepage
Title
Cited by
Cited by
Year
Proofs for free
JP Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (2), 107, 2012
882012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
ICFP 2010 45 (9), 345-356, 2010
552010
Type theory in color
JP Bernardy, G Moulin
492013
A presheaf model of parametric type theory
JP Bernardy, T Coquand, G Moulin
Electronic Notes in Theoretical Computer Science 319, 67-82, 2015
482015
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
462017
Realizability and parametricity in pure type systems
JP Bernardy, M Lasson
Foundations of Software Science and Computational Structures, 108-122, 2011
432011
Using deep neural networks to learn syntactic agreement
JP Bernardy, S Lappin
Linguistic Issues in Language Technology, 2017
382017
Testing polymorphic properties
JP Bernardy, P Jansson, K Claessen
Programming Languages and Systems, 125-144, 2010
382010
A computational interpretation of parametricity
JP Bernardy, G Moulin
2012 27th Annual IEEE Symposium on Logic in Computer Science, 135-144, 2012
332012
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
312008
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
182010
Can recurrent neural networks learn nested recursion?
JP Bernardy
Linguistic Issues in Language Technology, Volume 16, 2018, 2018
172018
Lazy functional incremental parsing
JP Bernardy
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 49-60, 2009
172009
Certified context-free parsing: A formalisation of Valiant's algorithm in Agda
JP Bernardy, P Jansson
arXiv preprint arXiv:1601.07724, 2016
152016
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
132017
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
112013
Yi: an editor in Haskell for Haskell
JP Bernardy
ACM Sigplan Notices 44 (2), 61-62, 2008
92008
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
82018
A Theory of Parametric Polymorphism and an Application
JP Bernardy
PhD thesis, Chalmers University of Technology, 2011
82011
Simple noninterference from parametricity
M Algehed, JP Bernardy
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-22, 2019
72019
The system can't perform the operation now. Try again later.
Articles 1–20