Simon Thompson is a research computer scientist, author and emeritus professor at 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 on Erlang for FutureLearn.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.