Simon Thompson
Simon Thompson
Technical Project Director, dApp Platform, IOHK; Professor, University of Kent and ELTE
Geverifieerd e-mailadres voor kent.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Haskell: the craft of functional programming
S Thompson
Addison-Wesley, 2011
890*2011
Type theory and functional programming
S Thompson
Addison-Wesley, 1991
3891991
Erlang programming
F Cesarini, S Thompson
O'Reilly Media, 2009
3252009
Tool support for refactoring functional programs
H Li, C Reinke, S Thompson
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 27-38, 2003
1542003
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?
DK Griffin, D Mitchell, SJ Thompson
Computers & Education 53 (2), 532-539, 2009
1442009
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
752016
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
632009
A Domain-Specific Language for Scripting Refactoring In Erlang
H Li, S Thompson
Technical Report 5-11, School of Computing, Univ, 2011
602011
The Haskell refactorer, HaRe, and its API
H Li, S Thompson, C Reinke
Electronic Notes in Theoretical Computer Science 141 (4), 29-34, 2005
602005
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
Miranda: the craft of functional programming
S Thompson
Addison-Wesley Longman Publishing Co., Inc., 1995
541995
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
532008
Introductory problem solving in computer science
DJ Barnes, S Fincher, S Thompson
5th Annual Conference on the Teaching of Computing, 36-39, 1997
501997
Similar code detection and elimination for Erlang programs
H Li, S Thompson
International Symposium on Practical Aspects of Declarative Languages, 104-118, 2010
492010
Laws in miranda
S Thompson
Proceedings of the 1986 ACM conference on LISP and functional programming, 1-12, 1986
481986
Clone detection and elimination for Haskell
C Brown, S Thompson
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 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
452006
Mechanical verification of refactorings
N Sultana, S Thompson
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
442008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20