Jean-Philippe Bernardy

Cited by

	All	Since 2016
Citations	674	442
h-index	14	12
i10-index	16	12

140

105

200820092010201120122013201420152016201720182019202020215 15 17 30 32 46 37 40 42 52 76 122 140 7

Co-authors

Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Stergios ChatzikyriakidisUniversity of GothenburgVerified email at gu.se
Shalom LappinProfessor of Computational LinguisticsVerified email at kcl.ac.uk
Ross PatersonCity, University of LondonVerified email at city.ac.uk
Arnaud SpiwackSenior architect, TweagVerified email at spiwack.net
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Ryan NewtonMIT, Indiana University, FacebookVerified email at indiana.edu
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Marcin ZalewskiPacific Northwest National Laboratory (PNNL)Verified email at pnnl.gov
Aleksandre MaskharashviliOhio State UniversityVerified email at osu.edu
Simon DobnikProfessor of Computational Linguistics, Gothenburg UniversityVerified email at gu.se
Rasmus BlanckUniversity of GothenburgVerified email at gu.se
Maximilian AlgehedChalmers University of TechnologyVerified email at chalmers.se
Adam EkUniversity of GothenburgVerified email at gu.se
Vladislav MaraevUniversity of GothenburgVerified email at gu.se
Nicolas PouillardIT University of CopenhagenVerified email at demtech.dk
Jey Han LauComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Jonathan GinzburgProfessor of Linguistics, Université de ParisVerified email at u-paris.fr
Nasredine SemmarResearch Scientist, CEA LIST, FranceVerified email at cea.fr
Charalambos ThemistocleousJohns Hopkins UniversityVerified email at jhu.edu

Jean-Philippe Bernardy

University of Gothenburg

Verified email at gu.se - Homepage

Computer science Linguistics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Proofs for free JP Bernardy, P Jansson, R Paterson Journal of Functional Programming 22 (2), 107, 2012	88	2012
Parametricity and dependent types JP Bernardy, P Jansson, R Paterson ICFP 2010 45 (9), 345-356, 2010	55	2010
Type theory in color JP Bernardy, G Moulin	49	2013
A presheaf model of parametric type theory JP Bernardy, T Coquand, G Moulin Electronic Notes in Theoretical Computer Science 319, 67-82, 2015	48	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	46	2017
Realizability and parametricity in pure type systems JP Bernardy, M Lasson Foundations of Software Science and Computational Structures, 108-122, 2011	43	2011
Using deep neural networks to learn syntactic agreement JP Bernardy, S Lappin Linguistic Issues in Language Technology, 2017	38	2017
Testing polymorphic properties JP Bernardy, P Jansson, K Claessen Programming Languages and Systems, 125-144, 2010	38	2010
A computational interpretation of parametricity JP Bernardy, G Moulin 2012 27th Annual IEEE Symposium on Logic in Computer Science, 135-144, 2012	33	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	31	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	18	2010
Can recurrent neural networks learn nested recursion? JP Bernardy Linguistic Issues in Language Technology, Volume 16, 2018, 2018	17	2018
Lazy functional incremental parsing JP Bernardy Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 49-60, 2009	17	2009
Certified context-free parsing: A formalisation of Valiant's algorithm in Agda JP Bernardy, P Jansson arXiv preprint arXiv:1601.07724, 2016	15	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	13	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	11	2013
Yi: an editor in Haskell for Haskell JP Bernardy ACM Sigplan Notices 44 (2), 61-62, 2008	9	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	8	2018
A Theory of Parametric Polymorphism and an Application JP Bernardy PhD thesis, Chalmers University of Technology, 2011	8	2011
Simple noninterference from parametricity M Algehed, JP Bernardy Proceedings of the ACM on Programming Languages 3 (ICFP), 1-22, 2019	7	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors