Simon Thompson
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
Título
Citado por
Citado por
Año
Haskell: the craft of functional programming
S Thompson
Addison-Wesley, 2011
8772011
Type theory and functional programming
S Thompson
Addison-Wesley, 1991
3731991
Erlang programming
F Cesarini, S Thompson
O'Reilly Media, 2009
3112009
Tool support for refactoring functional programs
H Li, C Reinke, S Thompson
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 27-38, 2003
1512003
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?
DK Griffin, D Mitchell, SJ Thompson
Computers & Education 53 (2), 532-539, 2009
1412009
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
782003
Scripting smart contracts for distributed ledger technology.
PL Seijas, SJ Thompson, D McAdams
IACR Cryptol. ePrint Arch. 2016, 1156, 2016
642016
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
602009
The Haskell refactorer, HaRe, and its API
H Li, S Thompson, C Reinke
Electronic Notes in Theoretical Computer Science 141 (4), 29-34, 2005
592005
The expressiveness of spider diagrams
G Stapleton, J Howse, J Taylor, S Thompson
Journal of Logic and Computation 14 (6), 857-880, 2004
592004
Haskell
S Thompson
The craft of functional programming, 1996
591996
A Domain-Specific Language for Scripting Refactoring In Erlang
H Li, S Thompson
Technical Report 5-11, School of Computing, Univ, 2011
522011
Miranda: the craft of functional programming
S Thompson
Addison-Wesley Longman Publishing Co., Inc., 1995
521995
Introductory problem solving in computer science
DJ Barnes, S Fincher, S Thompson
5th Annual Conference on the Teaching of Computing, 36-39, 1997
511997
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
492008
Similar code detection and elimination for Erlang programs
H Li, S Thompson
International Symposium on Practical Aspects of Declarative Languages, 104-118, 2010
452010
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
442006
Laws in miranda
S Thompson
Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986
441986
Clone detection and elimination for Haskell
C Brown, S Thompson
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
412010
Mechanical verification of refactorings
N Sultana, S Thompson
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
402008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20