[5][6][7] He is the author of books on data type theory, Miranda, Haskell, and Erlang, and runs a massive open online course about Erlang for FutureLearn.
from the University of Oxford in 1984 with a dissertation titled "Recursion theories on the continuous functionals".
[8] Thompson's doctoral adviser was Robin Oliver Gandy.
[9] As of 2019[update], he worked for Input Output Global, Input Output Hong Kong[10] on domain-specific languages for the Cardano blockchain platform.
There, he developed a specialised smart contract language, Marlowe, designed for non-programmers working in the financial sector.