Simon Thompson

Cited by

	All	Since 2018
Citations	4606	1017
h-index	30	14
i10-index	88	29

260

130

195

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202317 16 51 40 57 38 61 91 64 87 53 109 99 140 168 157 172 202 191 228 203 202 244 198 197 187 194 201 190 170 155 165 135

Public access

View all

14 articles

2 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 Computing, University of Kent and School of Psychology, University of BirminghamVerified email at kent.ac.uk
Francesco CesariniErlang SolutionsVerified email at erlang-solutions.com
Gem StapletonUniversity of CambridgeVerified email at cam.ac.uk
John HowseProfessor of Mathematics and Computation, University of BrightonVerified email at brighton.ac.uk
Dániel HorpácsiEötvös Loránd UniversityVerified email at elte.hu
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
Rafael Dueire LinsUniversidade Federal de Pernambuco/Universidade Federal Rural de Pernambuco, BrazilVerified email at cin.ufpe.br
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Patrick SchmitzSemper Cogito, University of California at Berkeley, Yahoo Research, Microsoft Research, LudicrumVerified email at berkeley.edu
Peter RodgersSchool of Computing, University of KentVerified email at kent.ac.uk
Amir GhaffariComputer Science, Glasgow UniversityVerified email at glasgow.ac.uk
Aidan DelaneyVerified email at ontologyengineering.org
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Darren GriffinProfessor of Genetics, University of KentVerified email at kent.ac.uk

Simon Thompson

Professor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, Smart

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	933	2011
Type theory and functional programming S Thompson Addison-Wesley, 1991	423	1991
Erlang programming F Cesarini, S Thompson O'Reilly Media, 2009	339	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	165	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	164	2003
Scripting smart contracts for distributed ledger technology PL Seijas, S Thompson, D McAdams Cryptology ePrint Archive, 2016	107	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	85	2003
A Domain-Specific Language for Scripting Refactoring In Erlang H Li, S Thompson Technical Report 5-11, School of Computing, Univ, 2011	70	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	69	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	65	2005
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	60	2004
Haskell S Thompson The craft of functional programming, 1996	60	1996
Miranda: the craft of functional programming S Thompson Addison-Wesley Longman Publishing Co., Inc., 1995	59	1995
Similar code detection and elimination for Erlang programs H Li, S Thompson Practical Aspects of Declarative Languages: 12th International Symposium …, 2010	55	2010
Introductory problem solving in computer science DJ Barnes, S Fincher, S Thompson 5th Annual Conference on the Teaching of Computing, 36-39, 1997	52	1997
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	51	2008
Marlowe: Financial contracts on blockchain P Lamela Seijas, S Thompson International symposium on leveraging applications of formal methods, 356-375, 2018	50	2018
Laws in miranda S Thompson Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986	50	1986
Clone detection and elimination for Haskell C Brown, S Thompson Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010	47	2010
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	47	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