Simon Thompson

Cited by

	All	Since 2016
Citations	3937	882
h-index	29	13
i10-index	79	28

240

120

180

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202118 18 46 37 46 35 55 87 61 75 52 92 94 130 158 154 173 188 185 227 192 201 234 198 193 169 186 188 176 158 3

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
Christopher BrownLecturer in Computer Science at University of St AndrewsVerified email at st-andrews.ac.uk
Natalia ChechinaLecturer in Computing, Bournemouth UniversityVerified email at bournemouth.ac.uk
Phil TrinderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
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
Dániel HorpácsiEötvös Loránd UniversityVerified email at elte.hu
Peter RodgersSchool of Computing, University of KentVerified email at kent.ac.uk
Aidan DelaneyVerified email at brighton.ac.uk
Sally FincherUniversity of KentVerified email at kent.ac.uk
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Amir GhaffariComputer Science, Glasgow UniversityVerified email at glasgow.ac.uk
Darren GriffinProfessor of Genetics, University of KentVerified email at kent.ac.uk

Simon Thompson

Senior Research Lead, IOHK; Professor of Logic and Computation, University of Kent, UK

Verified email at kent.ac.uk - Homepage

Functional programming concurrent programming logic testing


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	879	2011
Haskell: the craft of functional programming S Thompson Addison-Wesley, 2011	879	2011
Type theory and functional programming S Thompson Addison-Wesley, 1991	377	1991
Erlang programming F Cesarini, S Thompson O'Reilly Media, 2009	299	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	152	2003
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? DK Griffin, D Mitchell, SJ Thompson Computers & Education 53 (2), 532-539, 2009	140	2009
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	72	2003
Scripting smart contracts for distributed ledger technology. PL Seijas, SJ Thompson, D McAdams IACR Cryptol. ePrint Arch. 2016, 1156, 2016	63	2016
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	60	2009
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
The Haskell refactorer, HaRe, and its API H Li, S Thompson, C Reinke Electronic Notes in Theoretical Computer Science 141 (4), 29-34, 2005	59	2005
Haskell S Thompson The craft of functional programming, 1996	57	1996
A Domain-Specific Language for Scripting Refactoring In Erlang H Li, S Thompson Technical Report 5-11, School of Computing, Univ, 2011	52	2011
Miranda: the craft of functional programming S Thompson Addison-Wesley Longman Publishing Co., Inc., 1995	52	1995
Introductory problem solving in computer science DJ Barnes, S Fincher, S Thompson 5th Annual Conference on the Teaching of Computing, 36-39, 1997	50	1997
Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse H Li, S Thompson, G Orosz, M Tóth Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 61-72, 2008	48	2008
Laws in miranda S Thompson Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986	45	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	43	2006
Similar code detection and elimination for erlang programs H Li, S Thompson International Symposium on Practical Aspects of Declarative Languages, 104-118, 2010	42	2010
Interactive functional programs: a method and a formal semantics S Thompson Computing Laboratory, University of Kent, 1987	41	1987

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

Upload PDF

Follow this author

Cited by

Co-authors