Axiomatic Recursion Theory and the Continuous Functionals. - Simon Thompson 001 (J. Symb. Log., 1985)

Priority Arguments in the Continuous R. E. Degrees. - Simon Thompson 001 (J. Symb. Log., 1985)

Laws in Miranda. - Simon J. Thompson (LISP and Functional Programming, 1986)

Functional programming: executable specifications and program transformations. - Simon Thompson 001 (IWSSD, 1989)

A Logic for Miranda. - Simon J. Thompson (Formal Aspects Comput., 1989)

Lawful Functions and Program Verification in Miranda. - Simon J. Thompson (Sci. Comput. Program., 1989)

Implementing SASL using Categorical Multi-combinators. - Rafael Dueire Lins; Simon J. Thompson (Softw. Pract. Exp., 1990)

Type theory and functional programming. - Simon Thompson 001 (Addison-Wesley, 1991)

Are Subsets Necessary in Martin-Löf Type Theory? - Simon J. Thompson (Constructivity in Computer Science, 1991)

Formulating Haskell. - Simon J. Thompson (Functional Programming, 1992)

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

Functional Programming in Education - Introduction. - Simon J. Thompson; Philip Wadler (J. Funct. Program., 1993)

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

Miranda - the craft of functional programming. - Simon Thompson 001 (Addison-Wesley, 1995)

Functional Programming Through the Curriculum. - Simon J. Thompson; Steve Hill (FPLE, 1995)

Formal description techniques for object management. - John Derrick; Peter F. Linington; Simon J. Thompson (Integrated Network Management, 1995)

A Logic for Miranda, Revisited. - Simon J. Thompson (Formal Aspects Comput., 1995)

Haskell - the craft of functional programming. - Simon Thompson 001 (Addison-Wesley, 1996)

Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. - Simon J. Thompson (PLILP, 1997)

Synchronization in Multimedia Documents. - Peter R. King; Helen Cameron; Howard Bowman; Simon J. Thompson (EP, 1998)

A Tableau Method for Interval Temporal Logic with Projection. - Howard Bowman; Simon J. Thompson (TABLEAUX, 1998)

From ACT-ONE to Miranda, a translation experiment. - Nathan Charles; Howard Bowman; Simon J. Thompson (Comput. Stand. Interfaces, 1998)

Proof. - Simon J. Thompson (Research Directions in Parallel Functional Programming, 1999)

Integrating Computer Algebra and Reasoning through the Type System of Aldor. - Erik Poll; Simon J. Thompson (FroCoS, 2000)

A functional reactive animation of a lift using Fran. - Simon J. Thompson (J. Funct. Program., 2000)

Tool support for refactoring functional programs. - Huiqing Li; Claus Reinke; Simon J. Thompson (Haskell, 2003)

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

Mexitl: Multimedia in Executable Interval Temporal Logic. - Howard Bowman; Helen Cameron; Peter R. King; Simon J. Thompson (Formal Methods Syst. Des., 2003)

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

Modeling Reactive Multimedia: Events and Behaviors. - Helen Cameron; Peter R. King; Simon J. Thompson (Multim. Tools Appl., 2003)

Refactoring Functional Programs. - Simon J. Thompson (Advanced Functional Programming, 2004)

What Can Spider Diagrams Say? - Gem Stapleton; John Howse; John Taylor 001; Simon J. Thompson (Diagrams, 2004)

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

The Expressiveness of Spider Diagrams. - Gem Stapleton; John Howse; John Taylor 001; Simon J. Thompson (J. Log. Comput., 2004)

Tableaux for Diagrammatic Reasoning. - Octavian Patrascoiu; Simon J. Thompson; Peter Rodgers 001 (DMS, 2005)

A New Language for the Visualization of Logic and Reasoning. - Gem Stapleton; Simon J. Thompson; Andrew Fish; John Howse; John Taylor 001 (DMS, 2005)

Formalisation of Haskell refactorings. - Huiqing Li; Simon J. Thompson (Trends in Functional Programming, 2005)

Software metrics: measuring Haskell. - Chris Ryder; Simon J. Thompson (Trends in Functional Programming, 2005)

The Haskell Refactorer, HaRe, and its API. - Huiqing Li; Simon J. Thompson; Claus Reinke (LDTA@ETAPS, 2005)

Modelling Reactive Multimedia: Design and Authoring. - Simon J. Thompson; Peter R. King; Helen Cameron (Multim. Tools Appl., 2005)

Comparative Study of Refactoring Haskell and Erlang Programs. - Huiqing Li; Simon J. Thompson (SCAM, 2006)

Declarative extensions of XML languages. - Simon J. Thompson; Peter R. King; Patrick Schmitz (ACM Symposium on Document Engineering, 2007)

Refactoring Functional Programs at the University of Kent. - Simon J. Thompson; Christopher Brown 002; Huiqing Li; Claus Reinke; Nik Sultana (WRT, 2007)

Testing Erlang Refactorings with QuickCheck. - Huiqing Li; Simon J. Thompson (IFL, 2007)

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

Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. - Aidan J. Delaney; John Taylor 001; Simon J. Thompson (Diagrams, 2008)

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

Tool support for refactoring functional programs. - Huiqing Li; Simon J. Thompson (WRT@OOPSLA, 2008)

Mechanical verification of refactorings. - Nik Sultana; Simon J. Thompson (PEPM, 2008)

Erlang Programming - A Concurrent Approach to Software Development. - Francesca Cesarini; Simon Thompson 001 (O'Reilly, 2009)

Erlang Behaviours: Programming with Process Design Patterns. - Francesco Cesarini; Simon J. Thompson (CEFP, 2009)

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

Clone detection and removal for Erlang/OTP within a refactoring environment. - Huiqing Li; Simon J. Thompson (PEPM, 2009)

Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? - Darren K. Griffin; David Mitchell; Simon J. Thompson (Comput. Educ., 2009)

The expressiveness of spider diagrams augmented with constants. - Gem Stapleton; John Taylor 001; Simon J. Thompson; John Howse (J. Vis. Lang. Comput., 2009)

Fragments of Spider Diagrams of Order and Their Relative Expressiveness. - Aidan J. Delaney; Gem Stapleton; John Taylor 001; Simon J. Thompson (Diagrams, 2010)

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

Quickchecking refactoring tools. - Dániel Drienyovszky; Dániel Horpácsi; Simon J. Thompson (Erlang Workshop, 2010)

Similar Code Detection and Elimination for Erlang Programs. - Huiqing Li; Simon J. Thompson (PADL, 2010)

Clone detection and elimination for Haskell. - Christopher Brown 002; Simon J. Thompson (PEPM, 2010)

Refactoring Support for Modularity Maintenance in Erlang. - Huiqing Li; Simon J. Thompson (SCAM, 2010)

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

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

Haskell - The Craft of Functional Programming, 3rd Edition. - Simon J. Thompson (Addison-Wesley, 2011)

Extracting QuickCheck specifications from EUnit test cases. - Thomas Arts; Pablo Lamela Seijas; Simon J. Thompson (Erlang Workshop, 2011)

Incremental Clone Detection and Elimination for Erlang Programs. - Huiqing Li; Simon J. Thompson (FASE, 2011)

Extracting Properties from Test Cases by Refactoring. - Huiqing Li; Simon J. Thompson; Thomas Arts (ICST Workshops, 2011)

Evolving recursive programs using non-recursive scaffolding. - Alberto Moraglio; Fernando E. B. Otero; Colin G. Johnson; Simon J. Thompson; Alex Alves Freitas (IEEE Congress on Evolutionary Computation, 2012)

A Domain-Specific Language for Scripting Refactorings in Erlang. - Huiqing Li; Simon J. Thompson (FASE, 2012)

Let's make refactoring tools user-extensible! - Huiqing Li; Simon J. Thompson (WRT@ICSE, 2012)

Automated API migration in a user-extensible refactoring tool for Erlang programs. - Huiqing Li; Simon J. Thompson (ASE, 2012)

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). - Olivier Boudeville; Francesco Cesarini; Natalia Chechina; Kenneth Lundin; Nikolaos Papaspyrou; Konstantinos Sagonas; Simon J. Thompson; Phil Trinder; Ulf T. Wiger (Trends in Functional Programming, 2012)

Editorial PEPM2012. - Oleg Kiselyov; Julia Lawall; Simon J. Thompson (High. Order Symb. Comput., 2012)

On the Completeness of Spider Diagrams Augmented with Constants. - Gem Stapleton; John Howse; Simon J. Thompson; John Taylor 001; Peter Chapman (Visual Reasoning with Diagrams, 2013)

Building trustworthy refactoring tools. - Simon Thompson 001 (VPT@CAV, 2013)

Multi-level Visualization of Concurrent and Distributed Computation in Erlang. - Robert Baker 001; Peter Rodgers 001; Simon J. Thompson; Huiqing Li (DMS, 2013)

Multicore profiling for Erlang programs using percept2. - Huiqing Li; Simon J. Thompson (Erlang Workshop, 2013)

Towards property-based testing of RESTful web services. - Pablo Lamela Seijas; Huiqing Li; Simon J. Thompson (Erlang Workshop, 2013)

Refactoring tools for functional languages. - Simon J. Thompson; Huiqing Li (J. Funct. Program., 2013)

Programming errors in traversal programs over structured data. - Ralf Lämmel; Simon J. Thompson; Markus Kaiser 002 (Sci. Comput. Program., 2013)

On the expressiveness of spider diagrams and commutative star-free regular languages. - Aidan J. Delaney; Gem Stapleton; John Taylor 001; Simon J. Thompson (J. Vis. Lang. Comput., 2013)

Extended Abstract: Getting Engaged. - Simon Thompson 001 (HOWARD-60, 2014)

Synapse: automatic behaviour inference and implementation comparison for Erlang. - Pablo Lamela Seijas; Simon J. Thompson; Ramsay Taylor; Kirill Bogdanov 002; John Derrick (Erlang Workshop, 2014)

Improved semantics and implementation through property-based testing with QuickCheck. - Huiqing Li; Simon J. Thompson (AST, 2014)

Automating property-based testing of evolving web services. - Huiqing Li; Simon J. Thompson; Pablo Lamela Seijas; Miguel Angel Francisco (PEPM, 2014)

A normal form for spider diagrams of order. - Aidan J. Delaney; Gem Stapleton; John Taylor 001; Simon J. Thompson (J. Vis. Lang. Comput., 2014)

Safe Concurrency Introduction through Slicing. - Huiqing Li; Simon J. Thompson (PEPM, 2015)

Identifying and introducing interfaces and callbacks using Wrangler. - Pablo Lamela Seijas; Simon J. Thompson (IFL, 2016)

Making Property-Based Testing Easier to Read for Humans. - Laura M. Castro; Pablo Lamela; Simon Thompson 001 (Comput. Informatics, 2016)

Towards Trustworthy Refactoring in Erlang. - Dániel Horpácsi; Judit Köszegi; Simon J. Thompson (VPT@ETAPS, 2016)

Scripting smart contracts for distributed ledger technology. - Pablo Lamela Seijas; Simon J. Thompson; Darryl McAdams (IACR Cryptol. ePrint Arch., 2016)

A task-based evaluation of combined set and network visualization. - Peter J. Rodgers; Gem Stapleton; Bilal Alsallakh; Luana Micallef; Robert Baker 001; Simon J. Thompson (Inf. Sci., 2016)

Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7. - Simon J. Thompson (J. Funct. Program., 2016)

Improving the network scalability of Erlang. - Natalia Chechina; Huiqing Li; Amir Ghaffari; Simon J. Thompson; Phil Trinder (J. Parallel Distributed Comput., 2016)

A General Method for Defining Objects by Recursion over Syntax. - Simon Thompson 001 (J. Univers. Comput. Sci., 2017)

The pragmatics of clone detection and elimination. - Simon J. Thompson; Huiqing Li; Andreas Schumacher (Art Sci. Eng. Program., 2017)

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. - Phil Trinder; Natalia Chechina; Nikolaos Papaspyrou; Konstantinos Sagonas; Simon J. Thompson; Stephen Adams 002; Stavros Aronis; Robert Baker 001; Eva Bihari; Olivier Boudeville; Francesco Cesarini; Maurizio Di Stefano; et al. (ACM Trans. Program. Lang. Syst., 2017)

Evaluating Scalable Distributed Erlang for Scalability and Reliability. - Natalia Chechina; Kenneth MacKenzie; Simon J. Thompson; Phil Trinder; Olivier Boudeville; Viktoria Fordós; Csaba Hoch; Amir Ghaffari; Mario Moro Hernandez (IEEE Trans. Parallel Distributed Syst., 2017)

Marlowe: Financial Contracts on Blockchain. - Pablo Lamela Seijas; Simon J. Thompson (ISoLA (4), 2018)

Model extraction and test generation from JUnit test suites. - Pablo Lamela Seijas; Simon J. Thompson; Miguel Angel Francisco (Softw. Qual. J., 2018)

Rotor: a tool for renaming values in OCaml's module system. - Reuben N. S. Rowe; Hugo Férée; Simon J. Thompson; Scott Owens (IWOR@ICSE, 2019)

Characterising renaming within OCaml's module system: theory and implementation. - Reuben N. S. Rowe; Hugo Férée; Simon J. Thompson; Scott Owens (PLDI, 2019)

Machine-checked natural semantics for Core Erlang: exceptions and side effects. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Erlang Workshop, 2020)

Marlowe: Implementing and Analysing Financial Contracts on Blockchain. - Pablo Lamela Seijas; Alexander Nemish; David Smith; Simon J. Thompson (Financial Cryptography Workshops, 2020)

Validating Formal Semantics by Property-Based Cross-Testing. - Péter Bereczky; Dániel Horpácsi; Judit Köszegi; Soma Szeier; Simon J. Thompson (IFL, 2020)

Efficient Static Analysis of Marlowe Contracts. - Pablo Lamela Seijas; David Smith; Simon J. Thompson (ISoLA (3), 2020)

A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (TFP, 2020)

A Proof Assistant Based Formalisation of Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (CoRR, 2020)

A Comparison of Big-step Semantics Definition Styles. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (CoRR, 2020)

Standardized Crypto-Loans on the Cardano Blockchain. - Dmytro Kondratiuk; Pablo Lamela Seijas; Alexander Nemish; Simon J. Thompson (Financial Cryptography Workshops, 2021)

Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. - Dániel Horpácsi; Péter Bereczky; Simon J. Thompson (CoRR, 2022)

Refactoring = Substitution + Rewriting. - Simon J. Thompson; Dániel Horpácsi (CoRR, 2022)

Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings. - Simon J. Thompson; Dániel Horpácsi (Eelco Visser Commemorative Symposium, 2023)

Creating a Blockchain-Based Insurance Platform with Marlowe. - Ayda Bransia; Bálint Molnár; Simon Thompson 001 (BLOCKCHAIN, 2023)

Business Processes and Patterns of Blockchain Technology. - Yossra Zghal; Bálint Molnár; Simon Thompson 001 (BLOCKCHAIN, 2023)

A frame stack semantics for sequential Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (IFL, 2023)

A model of actors and grey failures. - Laura Bocchi; Julien Lange; Simon Thompson 001; A. Laura Voinea (Log. Methods Comput. Sci., 2023)

Program equivalence in an untyped, call-by-value functional language with uncurried functions. - Dániel Horpácsi; Péter Bereczky; Simon J. Thompson (J. Log. Algebraic Methods Program., 2023)

An Application of Blockchain for Small Size Loans. - Ayda Bransia; Bálint Molnár; Galena Pisoni; Simon Thompson 001 (BLOCKCHAIN, 2024)

Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. - Bendegúz Seres; Dániel Horpácsi; Simon J. Thompson (Erlang, 2024)

Structural Refactorings for Exploring Dependently Typed Programming. - Adam D. Barwell; Christopher Brown 002; Mun See Chang; Constantine Theocharis; Simon J. Thompson (TFP, 2024)

A Formalisation of Core Erlang, a Concurrent Actor Language. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Acta Cybern., 2024)

Program Equivalence in the Erlang Actor Model. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Comput., 2024)

Abstract Subtyping for Asynchronous Multiparty Sessions. - Laura Bocchi; Andy King; Maurizio Murgia 001; Simon Thompson 001 (CONCUR, 2025)