Simon Thompson

Citado por

	Total	Desde 2016
Citas	3954	905
Índice h	28	14
Índice i10	79	28

240

120

180

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202116 19 44 37 45 35 57 82 60 79 51 91 94 129 155 156 171 187 187 222 199 200 236 186 191 183 178 192 176 160 15

Coautores

Huiqing LiSchool of ComputingDirección de correo verificada de kent.ac.uk
Pablo Lamela SeijasResearch Associate, University of Kent, UKDirección de correo verificada de kent.ac.uk
Howard BowmanSchool of Computing, University of Kent and School of Psychology, University of BirminghamDirección de correo verificada de kent.ac.uk
Francesco CesariniErlang SolutionsDirección de correo verificada de erlang-solutions.com
Gem StapletonUniversity of CambridgeDirección de correo verificada de cam.ac.uk
John HowseProfessor of Mathematics and Computation, University of BrightonDirección de correo verificada de brighton.ac.uk
Christopher BrownLecturer in Computer Science at University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Natalia ChechinaLecturer in Computing, Bournemouth UniversityDirección de correo verificada de bournemouth.ac.uk
Phil TrinderProfessor of Computing Science, University of GlasgowDirección de correo verificada de glasgow.ac.uk
Erik PollRadboud University NijmegenDirección de correo verificada de cs.ru.nl
Thomas ArtsProfessor of Software Engineering, ChalmersDirección de correo verificada de quviq.com
Rafael Dueire LinsUniversidade Federal de Pernambuco/Universidade Federal Rural de Pernambuco, BrazilDirección de correo verificada de cin.ufpe.br
Dániel HorpácsiEötvös Loránd UniversityDirección de correo verificada de elte.hu
Patrick SchmitzSemper Cogito, University of California at Berkeley, Yahoo Research, Microsoft Research, LudicrumDirección de correo verificada de berkeley.edu
Peter RodgersSchool of Computing, University of KentDirección de correo verificada de kent.ac.uk
Aidan DelaneyDirección de correo verificada de brighton.ac.uk
Sally FincherUniversity of KentDirección de correo verificada de kent.ac.uk
John DerrickUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Amir GhaffariComputer Science, Glasgow UniversityDirección de correo verificada de glasgow.ac.uk
Darren GriffinProfessor of Genetics, University of KentDirección de correo verificada de kent.ac.uk

Simon Thompson

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

Dirección de correo verificada de kent.ac.uk - Página principal

Functional programming concurrent programming logic testing


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Haskell: the craft of functional programming S Thompson Addison-Wesley, 2011	877	2011
Type theory and functional programming S Thompson Addison-Wesley, 1991	373	1991
Erlang programming F Cesarini, S Thompson O'Reilly Media, 2009	311	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	151	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	141	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	78	2003
Scripting smart contracts for distributed ledger technology. PL Seijas, SJ Thompson, D McAdams IACR Cryptol. ePrint Arch. 2016, 1156, 2016	64	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 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
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	59	2004
Haskell S Thompson The craft of functional programming, 1996	59	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	51	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	49	2008
Similar code detection and elimination for Erlang programs H Li, S Thompson International Symposium on Practical Aspects of Declarative Languages, 104-118, 2010	45	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	44	2006
Laws in miranda S Thompson Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986	44	1986
Clone detection and elimination for Haskell C Brown, S Thompson Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010	41	2010
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	40	2008

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores