Simon J. Thompson
Orcid: 0000-0002-2350-301XAffiliations:
- University of Kent, UK
According to our database1,
Simon J. Thompson
authored at least 107 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orcid.org
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024
2023
Program equivalence in an untyped, call-by-value functional language with uncurried functions.
J. Log. Algebraic Methods Program., April, 2023
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023
Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings.
Proceedings of the Eelco Visser Commemorative Symposium, 2023
2022
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.
CoRR, 2022
2021
Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021
2020
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020
Proceedings of the Financial Cryptography and Data Security, 2020
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020
2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the 3rd International Workshop on Refactoring, 2019
2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
2017
IEEE Trans. Parallel Distributed Syst., 2017
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Trans. Program. Lang. Syst., 2017
2016
Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7.
J. Funct. Program., 2016
IACR Cryptol. ePrint Arch., 2016
Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016
2015
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015
2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
Improved semantics and implementation through property-based testing with QuickCheck.
Proceedings of the 9th International Workshop on Automation of Software Test, 2014
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014
2013
On the expressiveness of spider diagrams and commutative star-free regular languages.
J. Vis. Lang. Comput., 2013
Sci. Comput. Program., 2013
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013
Multi-level Visualization of Concurrent and Distributed Computation in Erlang.
Proceedings of the 19th International Conference on Distributed Multimedia Systems, 2013
Proceedings of the Visual Reasoning with Diagrams, 2013
2012
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the IEEE Congress on Evolutionary Computation, 2012
2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011
Addison-Wesley, ISBN: 978-0-2018-8295-7, 2011
2010
Proceedings of the Testing, 2010
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010
Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010
Proceedings of the Practical Aspects of Declarative Languages, 2010
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010
2009
J. Vis. Lang. Comput., 2009
Comput. Educ., 2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the Central European Functional Programming School - Third Summer School, 2009
2008
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008
Proceedings of the Second ACM Workshop on Refactoring Tools, 2008
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse.
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008
2007
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007
Proceedings of the Implementation and Application of Functional Languages, 2007
Proceedings of the 1st Workshop on Refactoring Tools, 2007
Proceedings of the 2007 ACM Symposium on Document Engineering, 2007
2006
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006
2005
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005
Software metrics: measuring Haskell.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005
Formalisation of Haskell refactorings.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005
A New Language for the Visualization of Logic and Reasoning.
Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005
Tableaux for Diagrammatic Reasoning.
Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005
2004
Behavioral reactivity and real time programming in XML: <i>functional programming meets SMIL animation</i>.
Proceedings of the 2004 ACM Symposium on Document Engineering, 2004
Proceedings of the Diagrammatic Representation and Inference, 2004
Proceedings of the Advanced Functional Programming, 2004
2003
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection.
J. Log. Comput., 2003
Formal Methods Syst. Des., 2003
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003
2000
Proceedings of the Frontiers of Combining Systems, 2000
1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
Proceedings of the Electronic Publishing, 1998
1997
Proceedings of the Programming Languages: Implementations, 1997
1995
Formal description techniques for object management.
Proceedings of the Integrated Network Management IV, 1995
Proceedings of the Functional Programming Languages in Education, 1995
1994
1993
1992
1991
Proceedings of the Constructivity in Computer Science, 1991
1990
Implementing SASL using Categorical Multi-combinators.
Softw. Pract. Exp., 1990
1989
1986
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986