The journal
Open the journal →The conversation starts in the journal — be the first to post.
About Simon Thompson
Simon Thompson is a research computer scientist, author, and an emeritus professor of the University of Kent, specializing in logic and computation. His research into functional programming covers software verification and validation, programming tool-building, and software testing for the functional programming languages Erlang, Haskell, and OCaml. 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.
Everything about Simon Thompson →- Occupation
- computer scientist