Articles with public access mandates - Simon ThompsonLearn more
Not available anywhere: 3
Comparative Analysis of Flow and Cardano Blockchains: Navigating Adoption Challenges, Computing Techniques and Implications for the Blockchain Landscape
A Bransia, B Molnár, S Thompson
Science and Information Conference, 665-670, 2024
Mandates: European Commission
Business Processes and Patterns of Blockchain Technology
Y Zghal, B Molnár, S Thompson
International Congress on Blockchain and Applications, 536-541, 2023
Mandates: European Commission
Creating a Blockchain-Based Insurance Platform with Marlowe
A Bransia, B Molnár, S Thompson
International Congress on Blockchain and Applications, 521-526, 2023
Mandates: European Commission
Available somewhere: 17
Evaluating scalable distributed Erlang for scalability and reliability
N Chechina, K MacKenzie, S Thompson, P Trinder, O Boudeville, ...
IEEE Transactions on Parallel and Distributed Systems 28 (8), 2244-2257, 2017
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Refactoring tools for functional languages
S Thompson, H Li
Journal of Functional Programming 23 (3), 293-350, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Improving the network scalability of Erlang
N Chechina, H Li, A Ghaffari, S Thompson, P Trinder
Journal of Parallel and Distributed Computing 90, 22-34, 2016
Mandates: UK Engineering and Physical Sciences Research Council
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software: (Project Paper)
O Boudeville, F Cesarini, N Chechina, K Lundin, N Papaspyrou, ...
Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Scaling reliably: Improving the scalability of the Erlang distributed actor platform
P Trinder, N Chechina, N Papaspyrou, K Sagonas, S Thompson, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 1-46, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Machine-checked natural semantics for Core Erlang: exceptions and side effects
P Bereczky, D Horpácsi, S Thompson
Erlang 2020: Proceedings of the 19th ACM SIGPLAN International Workshop on …, 2020
Mandates: National Office for Research, Development and Innovation, Hungary
A proof assistant based formalisation of a subset of sequential Core Erlang
P Bereczky, D Horpácsi, S Thompson
International Symposium on Trends in Functional Programming, 139-158, 2020
Mandates: National Office for Research, Development and Innovation, Hungary
Characterising renaming within OCaml’s module system: theory and implementation
RNS Rowe, H Férée, SJ Thompson, S Owens
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Mandates: UK Engineering and Physical Sciences Research Council
A model of actors and grey failures
L Bocchi, J Lange, S Thompson, AL Voinea
Logical Methods in Computer Science 19, 2023
Mandates: UK Engineering and Physical Sciences Research Council, European Commission …
Validating formal semantics by property-based cross-testing
P Bereczky, D Horpácsi, J Kőszegi, S Szeier, S Thompson
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
Mandates: National Office for Research, Development and Innovation, Hungary
Program equivalence in an untyped, call-by-value functional language with uncurried functions
D Horpácsi, P Bereczky, S Thompson
Journal of Logical and Algebraic Methods in Programming 132, 100857, 2023
Mandates: National Office for Research, Development and Innovation, Hungary
Rotor: a tool for renaming values in OCaml's module system
RNS Rowe, H Férée, SJ Thompson, S Owens
2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR), 27-30, 2019
Mandates: UK Engineering and Physical Sciences Research Council
Towards Large-scale Refactoring for OCaml
RNS Rowe, SJ Thompson
Proceedings of the ACM on Programming Languages 1 (1), 2018
Mandates: UK Engineering and Physical Sciences Research Council
On the expressiveness of spider diagrams and commutative star-free regular languages
A Delaney, G Stapleton, J Taylor, S Thompson
Journal of Visual Languages & Computing 24 (4), 273-288, 2013
Mandates: UK Engineering and Physical Sciences Research Council
A frame stack semantics for sequential Core Erlang
P Bereczky, D Horpácsi, S Thompson
The 35th Symposium on Implementation and Application of Functional Languages …, 2023
Mandates: National Office for Research, Development and Innovation, Hungary
Refactoring= Substitution+ Rewriting
S Thompson, D Horpácsi
arXiv preprint arXiv:2211.11550, 2022
Mandates: UK Engineering and Physical Sciences Research Council
Towards a refactoring tool for dependently-typed programs
CM Brown, A Barwell, S Thompson, S Sarkar, EC Brady
9th International Workshop on Rewriting Techniques for Program …, 2022
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program