Simon Thompson 个人学术档案

引用次数

	总计	2019 年至今
引用	4714	932
h 指数	31	14
i10 指数	90	25

260

130

195

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 15 50 36 60 36 61 89 66 89 53 113 97 145 170 154 175 204 191 219 206 200 247 197 194 185 196 195 189 179 164 166 170 62

开放获取的出版物数量

查看全部

16 篇文章

3 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Huiqing LiSchool of Computing在 kent.ac.uk 的电子邮件经过验证
Pablo Lamela SeijasResearch Associate, University of Kent, UK在 kent.ac.uk 的电子邮件经过验证
Howard BowmanSchool of Psychology, University of Birmingham在 bham.ac.uk 的电子邮件经过验证
Francesco CesariniErlang Solutions在 erlang-solutions.com 的电子邮件经过验证
Gem StapletonUniversity of Cambridge在 cam.ac.uk 的电子邮件经过验证
Dániel HorpácsiEötvös Loránd University在 elte.hu 的电子邮件经过验证
John HowseProfessor of Mathematics and Computation, University of Brighton在 brighton.ac.uk 的电子邮件经过验证
Christopher BrownLecturer in Computer Science at University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
Péter BereczkyEötvös Loránd University在 inf.elte.hu 的电子邮件经过验证
Natalia ChechinaDeveloper at Erlang Solutions and Honorary Research Fellow at Glasgow University在 glasgow.ac.uk 的电子邮件经过验证
Phil TrinderProfessor of Computing Science, University of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Thomas ArtsProfessor of Software Engineering, Chalmers在 quviq.com 的电子邮件经过验证
Erik PollRadboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
Rafael Dueire LinsUniversidade Federal de Pernambuco/Universidade Federal Rural de Pernambuco, Brazil在 cin.ufpe.br 的电子邮件经过验证
Peter RodgersSchool of Computing, University of Kent在 kent.ac.uk 的电子邮件经过验证
Patrick SchmitzSemper Cogito, University of California at Berkeley, Yahoo Research, Microsoft Research, Ludicrum在 berkeley.edu 的电子邮件经过验证
Amir GhaffariComputer Science, Glasgow University在 glasgow.ac.uk 的电子邮件经过验证
Aidan Delaney在 ontologyengineering.org 的电子邮件经过验证
Reuben N. S. RoweRoyal Holloway University of London在 rhul.ac.uk 的电子邮件经过验证
John DerrickUniversity of Sheffield在 sheffield.ac.uk 的电子邮件经过验证

关注

Simon Thompson

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

在 kent.ac.uk 的电子邮件经过验证 - 首页

Functional programming concurrent programming logic DSLs smart contracts


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Haskell: the craft of functional programming S Thompson Addison-Wesley, 2011	944	2011
Type theory and functional programming S Thompson Addison-Wesley, 1991	424	1991
Erlang programming F Cesarini, S Thompson O'Reilly Media, 2009	342	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	172	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	166	2003
Scripting smart contracts for distributed ledger technology PL Seijas, S Thompson, D McAdams Cryptology ePrint Archive, 2016	117	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	72	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	66	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
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	58	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
Marlowe: Financial contracts on blockchain P Lamela Seijas, S Thompson International symposium on leveraging applications of formal methods, 356-375, 2018	52	2018
Laws in miranda S Thompson Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986	52	1986
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	51	2008
Clone detection and elimination for Haskell C Brown, S Thompson Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010	49	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	49	2006

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用