nLab Simon Thompson

• personal page

• GoogleScholar page

Selected writings

On type theory and functional programming:

• Simon Thompson, Type Theory and Functional Programming, Addison-Wesley (1991) [ISBN:0-201-41667-0, webpage, pdf]

Introduction to functional programming with examples in Haskell:

• Simon Thompson, Haskell: the Craft of Functional Programming, Addison-Wesley (1996) [webpage, pdf]