Simon Thompson

Cited by

	All	Since 2019
Citations	4794	1004
h-index	31	14
i10-index	92	31

260

130

195

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 15 50 36 61 36 61 89 67 89 53 113 97 145 171 154 175 204 192 219 206 200 247 197 194 185 196 196 190 180 166 166 170 129

Public access

View all

17 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
Gem StapletonUniversity of CambridgeVerified email at cam.ac.uk
Dániel HorpácsiEötvös Loránd UniversityVerified email at elte.hu
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
Rafael Dueire LinsUniversidade Federal de Pernambuco/Universidade Federal Rural de Pernambuco, BrazilVerified email at cin.ufpe.br
Peter RodgersSchool of Computing, University of KentVerified email at kent.ac.uk
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	949	2011
Type theory and functional programming S Thompson Addison-Wesley, 1991	427	1991
Erlang programming F Cesarini, S Thompson O'Reilly Media, 2009	352	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	178	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	169	2003
Scripting smart contracts for distributed ledger technology PL Seijas, S Thompson, D McAdams Cryptology ePrint Archive, 2016	119	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	86	2003
A Domain-Specific Language for Scripting Refactoring In Erlang H Li, S Thompson Technical Report 5-11, School of Computing, Univ, 2011	73	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	67	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	59	1995
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
Clone detection and elimination for Haskell C Brown, S Thompson Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010	53	2010
Marlowe: Financial contracts on blockchain P Lamela Seijas, S Thompson International symposium on leveraging applications of formal methods, 356-375, 2018	52	2018
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	52	2008
Laws in miranda S Thompson Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986	52	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