This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (December 2021) (Learn how and when to remove this template message)
This article's tone or style may not reflect the encyclopedic tone used on Wikipedia. See Wikipedia's guide to writing better articles for suggestions. (December 2023) (Learn how and when to remove this template message)
Simon Thompson
Born
United Kingdom
EducationD.Phil., University of Oxford, 1984
Known forFunctional programming research, textbooks
Cardano domain-specific languages: Marlowe
Scientific career
FieldsComputer science
InstitutionsUniversity of Kent
Input Output Global
ThesisRecursion theories on the continuous functionals (1984)
Doctoral advisorRobin Oliver Gandy

Simon Thompson is a research computer scientist, author, and an emeritus professor of the University of Kent, there specializing in logic and computation.[1] His research into functional programming covers software verification and validation, programming tool-building, and software testing for the functional programming languages Erlang,[2] Haskell,[3][4] and OCaml.[5][6][7] He is the author of books on data type theory, Miranda, Haskell, and Erlang, and runs a massive open online course (MOOC) about Erlang for FutureLearn.

Education

Thompson earned a Doctor of Philosophy (D.Phil.) from the University of Oxford in 1984 with a dissertation titled "Recursion theories on the continuous functionals"[8] The faculty adviser was Robin Oliver Gandy.[9]

Work

As of 2019, he has worked for Input Output Global (IOG), Input Output Hong Kong (IOHK)[10] on domain-specific languages for the Cardano blockchain platform. There, he developed a specialised smart contract language, Marlowe,[11] designed for non-programmers working in the financial sector.[12][unreliable source?]

Books

His books include:

References

  1. ^ Thompson, Simon (20 October 2023). "Professor Simon Thompson". University of Kent: School of Computing. Canterbury, Kent, England.
  2. ^ Bereczky, Péter; Horpácsi, Dániel; Thompson, Simon (23 August 2020). Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects. International Conference on Functional Programming (ICFP). Online – via ACM SIGPLAN.
  3. ^ Thompson, Simon (May 1997). Higher-order + Polymorphic = Reusable (Report). Canterbury, Kent: School of Computing, University of Kent. Retrieved 30 December 2023.
  4. ^ Li, Huiqing; Thompson, Simon; Reinke, Claus (April 2005). "The Haskell Refactorer: HaRe, and its API". In Boyland, John Tang; Hedin, Görel (eds.). Proceedings of the 5th workshop on Language Descriptions, Tools and Applications. Canterbury, Kent: School of Computing, University of Kent. pp. 182–196. Retrieved 30 December 2023.
  5. ^ Rowe, Reuben N. S.; Thompson, Simon (8 September 2017). ROTOR: First Steps Towards a Refactoring Tool for OCaml. International Conference on Functional Programming (ICFP). Phoenix, Arizona – via ACM SIGPLAN.
  6. ^ Rowe, Reuben N. S.; Férée, Hugo; Thompson, Simon; Owens, Scott (25 June 2019). Characterising Renaming within OCaml's Module System: Theory and Implementation. Programming Language Design and Implementation (PLDI). Phoenix, Arizona – via ACM SIGPLAN.
  7. ^ Harrison, Joseph; Varoumas, Steven; Thompson, Simon; Rowe, Reuben (28 August 2020). API migration: compare transformed. International Conference on Functional Programming (ICFP). Online – via ACM SIGPLAN.
  8. ^ Thompson, Simon (June 1985). "Axiomatic Recursion Theory and the Continuous Functionals". Journal of Symbolic Logic. 50 (2). New York, New York: 442–450. doi:10.2307/2274232. JSTOR 2274232. S2CID 26299352 – via JSTOR.
  9. ^ "Mathematics Genealogy Project". North Dakota State University: Department of Mathematics.
  10. ^ "IOHK: Team: Prof Simon Thompson: Technical Project Director Research". Input Output. n.d. Archived from the original on 28 November 2022.
  11. ^ Lamela Seijas, Pablo; Nemish, Alexander; Smith, David; Thompson, Simon (7 August 2020). "Marlowe: Implementing and Analysing Financial Contracts on Blockchain". In Bernhard, Matthew; Bracciali, Andrea; Camp, L. Jean; Matsuo, Shin'ichiro; Maurushat, Alana; Rønne, Peter B.; Sala, Massimiliano (eds.). Financial Cryptography and Data Security. Lecture Notes in Computer Science. Cham: Springer International Publishing. pp. 496–511. doi:10.1007/978-3-030-54455-3_35. ISBN 978-3-030-54455-3.
  12. ^ Hobey, Erin (11 December 2018). "Say Hello to IOHK's New Cardano Blockchain Tools, Plutus and Marlowe". Crowdfund Insider. Retrieved 18 February 2019.
  13. ^ "Miranda: A Non-strict, Polymorphic, Functional Language". 2010.
  14. ^ Richards, Hamilton (November 1998). "Book reviews" (PDF). Journal of Functional Programming. 8 (6): 633–637. doi:10.1017/S0956796898213220.

External links

ML programming
Haskell programming
Categories