Simon Thompson

Simon Thompson

Emeritus Professor of Logic and Computation
University of Kent
location_on United Kingdom

Member since 1 year

Share

Simon Thompson

Specialises In
code-beam-lite erlang haskell language-independent-refactorings ocaml

Simon Thompson is a researcher and educator in function programming, based at the Universities of Kent and ELTE Budapest, and also working with IOG on languages for distributed application development. He has worked on verification, language design, and refactoring, and published textbooks on Erlang, Haskell and type theory.

help