Simon J. Thompson

Huiqing Li, Simon J. Thompson: A Domain-Specific Language for Scripting Refactorings in Erlang. FASE 2012: 501-515

Huiqing Li, Simon J. Thompson: Automated API migration in a user-extensible refactoring tool for Erlang programs. ASE 2012: 294-297

Ralf Laemmel, Simon J. Thompson, Markus Kaiser: Programming errors in traversal programs over structured data. CoRR abs/1201.6057 (2012)

Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson: Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop 2011: 62-71

Huiqing Li, Simon J. Thompson: Incremental Clone Detection and Elimination for Erlang Programs. FASE 2011: 356-370

Huiqing Li, Simon J. Thompson, Thomas Arts: Extracting Properties from Test Cases by Refactoring. ICST Workshops 2011: 472-473

Aidan Delaney, Gem Stapleton, John Taylor, Simon J. Thompson: Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams 2010: 69-83

Thomas Arts, Simon J. Thompson: From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop 2010: 1-12

Huiqing Li, Simon J. Thompson: Similar Code Detection and Elimination for Erlang Programs. PADL 2010: 104-118

Christopher Brown, Simon J. Thompson: Clone detection and elimination for Haskell. PEPM 2010: 111-120

Huiqing Li, Simon J. Thompson: Refactoring Support for Modularity Maintenance in Erlang. SCAM 2010: 157-166

Christopher Brown, Huiqing Li, Simon J. Thompson: An Expression Processor: A Case Study in Refactoring Haskell Programs. Trends in Functional Programming 2010: 31-49

Huiqing Li, Simon J. Thompson: Improved Testing through Refactoring: Experience from the ProTest Project. TAIC PART 2010: 198-202

Darren K. Griffin, David Mitchell, Simon J. Thompson: Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Computers & Education 53(2): 532-539 (2009)

Ralf Lämmel, Simon J. Thompson, Markus Kaiser: Programming Errors in Traversal Programs Over Structured Data. Electr. Notes Theor. Comput. Sci. 238(5): 135-153 (2009)

Gem Stapleton, John Taylor, Simon J. Thompson, John Howse: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1): 30-49 (2009)

Francesco Cesarini, Simon J. Thompson: Erlang Behaviours: Programming with Process Design Patterns. CEFP 2009: 19-41

John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson: Property-Based Testing - The ProTest Project. FMCO 2009: 250-271

Huiqing Li, Simon J. Thompson: Clone detection and removal for Erlang/OTP within a refactoring environment. PEPM 2009: 169-178

Clara Benac Earle, Simon J. Thompson (Eds.): Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. ACM 2009, isbn 978-1-60558-507-9

Aidan Delaney, John Taylor, Simon J. Thompson: Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams 2008: 172-187

Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth: Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. Erlang Workshop 2008: 61-72

Nik Sultana, Simon J. Thompson: Mechanical verification of refactorings. PEPM 2008: 51-60

Huiqing Li, Simon J. Thompson: Tool support for refactoring functional programs. PEPM 2008: 199-203

Simon J. Thompson, Peter R. King, Patrick Schmitz: Declarative extensions of XML languages. ACM Symposium on Document Engineering 2007: 89-91

Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana: Refactoring Functional Programs at the University of Kent. WRT 2007: 66-67

Huiqing Li, Simon J. Thompson: Testing Erlang Refactorings with QuickCheck. IFL 2007: 19-36

Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng: A Power Management Architecture for Sensor Nodes. WCNC 2007: 3008-3013

Simon J. Thompson, Lars-Åke Fredlund (Eds.): Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007. ACM 2007, isbn 978-1-59593-675-2

Huiqing Li, Simon J. Thompson: Comparative Study of Refactoring Haskell and Erlang Programs. SCAM 2006: 197-206

Huiqing Li, Simon J. Thompson, Claus Reinke: The Haskell Refactorer, HaRe, and its API. Electr. Notes Theor. Comput. Sci. 141(4): 29-34 (2005)

Simon J. Thompson, Peter R. King, Helen Cameron: Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools Appl. 27(1): 23-52 (2005)

Octavian Patrascoiu, Simon J. Thompson, Peter Rodgers: Tableaux for Diagrammatic Reasoning. DMS 2005: 279-286

Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor: A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292

Chris Ryder, Simon J. Thompson: Software metrics: measuring Haskell. Trends in Functional Programming 2005: 31-46

Huiqing Li, Simon J. Thompson: Formalisation of Haskell refactorings. Trends in Functional Programming 2005: 95-110

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)

Simon J. Thompson: Refactoring Functional Programs. Advanced Functional Programming 2004: 331-357

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127

Peter R. King, Patrick Schmitz, Simon J. Thompson: Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation. ACM Symposium on Document Engineering 2004: 57-66

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98

Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson: Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design 22(1): 5-38 (2003)

Howard Bowman, Simon J. Thompson: A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. 13(2): 195-239 (2003)

Helen Cameron, Peter R. King, Simon J. Thompson: Modeling Reactive Multimedia: Events and Behaviors. Multimedia Tools Appl. 19(1): 53-77 (2003)

Huiqing Li, Claus Reinke, Simon J. Thompson: Tool support for refactoring functional programs. Haskell 2003: 27-38

Patrick Schmitz, Simon J. Thompson, Peter R. King: Presentation Dynamism in XML Functional Programming meets SMIL Animation. WWW (Posters) 2003

Simon J. Thompson: A functional reactive animation of a lift using Fran. J. Funct. Program. 10(3): 245-268 (2000)

Erik Poll, Simon J. Thompson: Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCoS 2000: 136-150

Nathan Charles, Howard Bowman, Simon J. Thompson: From ACT-ONE to Miranda, a translation experiment. Computer Standards & Interfaces 19(1): 31-49 (1998)

Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson: Synchronization in Multimedia Documents. EP 1998: 355-369

Howard Bowman, Simon J. Thompson: A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX 1998: 108-123

Simon J. Thompson: Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. PLILP 1997: 323-334

Simon J. Thompson: A Logic for Miranda, Revisited. Formal Asp. Comput. 7(4): 412-429 (1995)

Simon J. Thompson, Steve Hill: Functional Programming Through the Curriculum. FPLE 1995: 85-102

John Derrick, Peter F. Linington, Simon J. Thompson: Formal description techniques for object management. Integrated Network Management 1995: 641-653

Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones: On the Equivalence Between CMC and TIM. J. Funct. Program. 4(1): 47-63 (1994)

Simon J. Thompson, Philip Wadler: Functional Programming in Education - Introduction. J. Funct. Program. 3(1): 3-4 (1993)

Simon J. Thompson, Rafael Dueire Lins: The Categorical Multi-Combinator Machine: CMCM. Comput. J. 35(2): 170-176 (1992)

Simon J. Thompson: Formulating Haskell. Functional Programming 1992: 258-268

Simon J. Thompson: Are Subsets Necessary in Martin-Löf Type Theory? Constructivity in Computer Science 1991: 46-57

Rafael Dueire Lins, Simon J. Thompson: Implementing SASL using Categorical Multi-combinators. Softw., Pract. Exper. 20(11): 1137-1165 (1990)

Simon J. Thompson: A Logic for Miranda. Formal Asp. Comput. 1(4): 339-365 (1989)

Simon J. Thompson: Lawful Functions and Program Verification in Miranda. Sci. Comput. Program. 13(1): 181-218 (1989)

Simon J. Thompson: Laws in Miranda. LISP and Functional Programming 1986: 1-12