Simon Thompson is a researcher, author and teacher, and an emeritus professor of the University of Kent, where he specialized in logic and computation. His research into functional programming covers verification, tool-building and testing for Erlang, Haskell and OCaml. He is the...
Read More →