Patrik Jansson

Citeret af

	Alle	Siden 2020
Henvisninger	2228	341
h-index	23	10
i10-indeks	34	10

140

105

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 45 45 59 64 70 77 92 88 121 96 62 127 93 103 107 90 80 69 71 92 103 75 57 62 66 88 63 5

Offentlig adgang

Se alle

13 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerificeret mail på uu.nl
Cezar IonescuTechnische Hochschule DeggendorfVerificeret mail på th-deg.de
Jean-Philippe BernardyUniversity of Gothenburg and Chalmers University of TechnologyVerificeret mail på gu.se
Nicola BottaPIK Potsdam Institute for Climate Impact ResearchVerificeret mail på pik-potsdam.de
Nils Anders DanielssonResearcher, Chalmers University of Technology and University of GothenburgVerificeret mail på cse.gu.se
Ross PatersonCity, University of LondonVerificeret mail på city.ac.uk
Ulf NorellUniversity of GothenburgVerificeret mail på chalmers.se
Roland BackhouseProfessor of Computing Science, University of NottinghaVerificeret mail på cs.nott.ac.uk
Jonas Almström DuregårdChalmers University of TechnologyVerificeret mail på chalmers.se
Alex GerdesSenior Lecturer, Gothenburg University / ChalmersVerificeret mail på chalmers.se
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerificeret mail på cs.hku.hk
Jeremy GibbonsProfessor of Computing, University of OxfordVerificeret mail på cs.ox.ac.uk
Hsiang-Shang KoInstitute of Information Science, Academia Sinica, TaiwanVerificeret mail på iis.sinica.edu.tw
Marcin BenkeSenior Lecturer, University of WarsawVerificeret mail på mimuw.edu.pl
Marcin ZalewskiPacific Northwest National Laboratory (PNNL)Verificeret mail på pnnl.gov
Tünde FülöpProfessor of Physics, Chalmers University of TechnologyVerificeret mail på chalmers.se
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerificeret mail på chalmers.se
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerificeret mail på chalmers.se
Mathias HoppeAssistant professor, KTH Royal Institute of Technology, SwedenVerificeret mail på kth.se
István PusztaiAssociate Professor, Department of Physics, Chalmers University of TechnologyVerificeret mail på chalmers.se

Følg

Patrik Jansson

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

Verificeret mail på chalmers.se - Startside

Computer Science Software Technology Functional Programming Generic Programming Programming Languages


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
PolyP—a polytypic programming language extension P Jansson, J Jeuring Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997	363	1997
Generic programming R Backhouse, P Jansson, J Jeuring, L Meertens Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999	245	1999
Polytypic programming J Jeuring, P Jansson International School on Advanced Functional Programming, 68-114, 1996	164	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
Proofs for free - Parametricity for dependent types J Bernardy, P Jansson, R Paterson Journal of Functional Programming 22 (02), 107-152, 2012	118	2012
Universes for generic programs and proofs in dependent type theory M Benke, P Dybjer, P Jansson Nord. J. Comput. 10 (4), 265-289, 2003	115	2003
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	99	2009
Feat: functional enumeration of algebraic types J Duregård, P Jansson, M Wang Proceedings of the 2012 Symposium on Haskell, 61-72, 2012	95	2012
Parametricity and dependent types JP Bernardy, P Jansson, R Paterson International Conference on Functional Programming, ICFP 2010 (also …, 2010	76	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	58	2009
Polytypic data conversion programs P Jansson, J Jeuring Science of computer programming 43 (1), 35-75, 2002	52	2002
Testing polymorphic properties JP Bernardy, P Jansson, K Claessen ESOP 2010: 19th European Symposium on Programming, LNCS 6012/2010, 125-144, 2010	48	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	44	2005
Polytypic unification P Jansson, J Jeuring Journal of functional programming 8 (5), 527-536, 1998	38	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	33*	1998
Embedded parser generators J Duregård, P Jansson Acm Sigplan Notices 46 (12), 107-117, 2011	25	2011

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere