Patrik Jansson

Cited by

	All	Since 2019
Citations	2190	389
h-index	22	11
i10-index	33	12

140

105

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 44 45 59 63 63 83 91 90 115 93 59 128 94 106 108 92 79 69 70 88 105 77 62 68 56 83 43

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerified email at uu.nl
Cezar IonescuTechnische Hochschule DeggendorfVerified email at th-deg.de
Jean-Philippe BernardyUniversity of GothenburgVerified email at gu.se
Nicola BottaPIK Potsdam Institute for Climate Impact ResearchVerified email at pik-potsdam.de
Nils Anders DanielssonResearcher, Chalmers University of Technology and University of GothenburgVerified email at cse.gu.se
Ross PatersonCity, University of LondonVerified email at city.ac.uk
Roland BackhouseProfessor of Computing Science, University of NottinghaVerified email at cs.nott.ac.uk
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Jonas Almström DuregårdChalmers University of TechnologyVerified email at chalmers.se
Alex GerdesSenior Lecturer, Gothenburg University / ChalmersVerified email at chalmers.se
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Hsiang-Shang KoInstitute of Information Science, Academia Sinica, TaiwanVerified email at iis.sinica.edu.tw
Marcin ZalewskiPacific Northwest National Laboratory (PNNL)Verified email at pnnl.gov
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Marcin BenkeSenior Lecturer, University of WarsawVerified email at mimuw.edu.pl
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Tünde FülöpProfessor of Physics, Chalmers University of TechnologyVerified email at chalmers.se
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se

Patrik Jansson

Professor of Computer Science, Chalmers University of Technology and University of Gothenburg

Verified email at chalmers.se - Homepage

Computer Science Software Technology Functional Programming Generic Programming Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PolyP—a polytypic programming language extension P Jansson, J Jeuring Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997	359	1997
Generic programming R Backhouse, P Jansson, J Jeuring, L Meertens Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999	246	1999
Polytypic programming J Jeuring, P Jansson International School on Advanced Functional Programming, 68-114, 1996	161	1996
Fast and loose reasoning is morally correct NA Danielsson, J Hughes, P Jansson, J Gibbons ACM SIGPLAN Notices 41 (1), 206-217, 2006	127	2006
Universes for generic programs and proofs in dependent type theory M Benke, P Dybjer, P Jansson Nord. J. Comput. 10 (4), 265-289, 2003	114	2003
Proofs for free - Parametricity for dependent types J Bernardy, P Jansson, R Paterson Journal of Functional Programming 22 (02), 107-152, 2012	113	2012
Comparing libraries for generic programming in Haskell A Rodriguez, J Jeuring, P Jansson, A Gerdes, O Kiselyov, BCS Oliveira Haskell Symposium 44 (2), 111-122, 2009	102	2009
Feat: functional enumeration of algebraic types J Duregård, P Jansson, M Wang Proceedings of the 2012 Symposium on Haskell, 61-72, 2012	91	2012
Parametricity and dependent types JP Bernardy, P Jansson, R Paterson International Conference on Functional Programming, ICFP 2010 (also …, 2010	74	2010
Functional polytypic programming P Jansson Chalmers Tekniska Hogskola (Sweden), 2000	61*	2000
Algebra of programming in Agda: dependent types for relational program derivation SC Mu, HS Ko, P Jansson Journal of Functional Programming 19 (5), 545-579, 2009	57	2009
Polytypic data conversion programs P Jansson, J Jeuring Science of computer programming 43 (1), 35-75, 2002	53	2002
Testing polymorphic properties JP Bernardy, P Jansson, K Claessen ESOP 2010: 19th European Symposium on Programming, LNCS 6012/2010, 125-144, 2010	47	2010
Chasing Bottoms - A Case Study in Program Verification in the Presence of Partial and Infinite Values N Danielsson, P Jansson Mathematics of Program Construction, 85-109, 2004	47	2004
Polytypic compact printing and parsing P Jansson, J Jeuring European Symposium on Programming, 273-287, 1999	46	1999
Polytypic programming in Haskell U Norell, P Jansson Implementation of Functional Languages: 15th International Workshop, IFL …, 2005	42	2005
Polytypic unification P Jansson, J Jeuring Journal of functional programming 8 (5), 527-536, 1998	37	1998
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
PolyLib—A library of polytypic functions P Jansson, J Jeuring Workshop on generic programming, WGP'98, 1998	32*	1998
Embedded parser generators J Duregård, P Jansson Acm Sigplan Notices 46 (12), 107-117, 2011	25	2011

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

Follow

Cited by

Co-authors