Simon Thompson

Cited by

	All	Since 2020
Citations	4870	884
h-index	31	15
i10-index	92	27

260

130

195

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 15 50 36 61 36 61 89 67 89 54 113 98 145 171 154 175 204 192 220 206 200 247 197 195 185 194 196 191 183 168 167 180 177 8

Public access

View all

18 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Huiqing LiSchool of ComputingVerified email at kent.ac.uk
Pablo Lamela SeijasResearch Associate, University of Kent, UKVerified email at kent.ac.uk
Howard BowmanSchool of Psychology, University of BirminghamVerified email at bham.ac.uk
Francesco CesariniErlang SolutionsVerified email at erlang-solutions.com
Dániel HorpácsiEötvös Loránd UniversityVerified email at elte.hu
Gem StapletonUniversity of CambridgeVerified email at cam.ac.uk
John HowseProfessor of Mathematics and Computation, University of BrightonVerified email at brighton.ac.uk
Christopher BrownLecturer in Computer Science at University of St AndrewsVerified email at st-andrews.ac.uk
Péter BereczkyEötvös Loránd UniversityVerified email at inf.elte.hu
Natalia ChechinaDeveloper at Erlang Solutions and Honorary Research Fellow at Glasgow UniversityVerified email at glasgow.ac.uk
Phil TrinderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Peter RodgersSchool of Computing, University of KentVerified email at kent.ac.uk
Rafael Dueire LinsUniversidade Federal de Pernambuco/Universidade Federal Rural de Pernambuco, BrazilVerified email at cin.ufpe.br
Patrick SchmitzSemper Cogito, University of California at Berkeley, Yahoo Research, Microsoft Research, LudicrumVerified email at berkeley.edu
Amir GhaffariComputer Science, Glasgow UniversityVerified email at glasgow.ac.uk
Reuben N. S. RoweRoyal Holloway University of LondonVerified email at rhul.ac.uk
Aidan DelaneyVerified email at ontologyengineering.org
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk

Simon Thompson

Professor, University of Kent and Eötvös Loránd University, Budapest

Verified email at kent.ac.uk - Homepage

Functional programming concurrent programming logic DSLs smart contracts


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Haskell: the craft of functional programming S Thompson Addison-Wesley, 2011	954	2011
Type theory and functional programming S Thompson Addison-Wesley, 1991	428	1991
Erlang programming F Cesarini, S Thompson O'Reilly Media, 2009	359	2009
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? DK Griffin, D Mitchell, SJ Thompson Computers & Education 53 (2), 532-539, 2009	180	2009
Tool support for refactoring functional programs H Li, C Reinke, S Thompson Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 27-38, 2003	170	2003
Scripting smart contracts for distributed ledger technology PL Seijas, S Thompson, D McAdams Cryptology ePrint Archive, 2016	123	2016
A decision procedure and complete axiomatization of finite interval temporal logic with projection H Bowman, S Thompson Journal of logic and Computation 13 (2), 195-239, 2003	87	2003
A Domain-Specific Language for Scripting Refactoring In Erlang H Li, S Thompson Technical Report 5-11, School of Computing, Univ, 2011	75	2011
Clone detection and removal for Erlang/OTP within a refactoring environment H Li, S Thompson Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009	71	2009
The Haskell refactorer, HaRe, and its API H Li, S Thompson, C Reinke Electronic Notes in Theoretical Computer Science 141 (4), 29-34, 2005	71	2005
Haskell S Thompson The craft of functional programming, 1996	64	1996
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	61	2004
Similar code detection and elimination for Erlang programs H Li, S Thompson Practical Aspects of Declarative Languages: 12th International Symposium …, 2010	60	2010
Miranda: the craft of functional programming S Thompson Addison-Wesley Longman Publishing Co., Inc., 1995	60	1995
Marlowe: Financial contracts on blockchain P Lamela Seijas, S Thompson International symposium on leveraging applications of formal methods, 356-375, 2018	58	2018
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	57	2008
Clone detection and elimination for Haskell C Brown, S Thompson Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010	56	2010
Introductory problem solving in computer science DJ Barnes, S Fincher, S Thompson 5th Annual Conference on the Teaching of Computing, 36-39, 1997	54	1997
Laws in miranda S Thompson Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986	53	1986
Refactoring erlang programs H Li, S Thompson, L Lövei, Z Horváth, T Kozsik, A Víg, T Nagy The Proceedings of 12th International Erlang/OTP User Conference, 2006	50	2006

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