• Title: Type Theory and Functional Programming
• Author(s) Simon Thompson
• Publisher: Addison-Wesley (August 1991)
• Hardcover/Paperback: 388 pages
• eBook: PDF and PostScript
• Language: English
• ISBN-10: 0201416670
• ISBN-13: 978-0201416671
• Share This:  

Book Description

This book explores the role of Martin-Lof's Constructive Type Theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

• Simon Thompson is Professor of Logic and Computation in the School of Computing at the University of Kent, where he has taught computing at undergraduate and postgraduate levels for the past thirty years, and was department head from 2002 to 2010; he is now Director for Research and Enterprise for the school.

• Amazon

• Functional Programming
• Computer Programming
• Haskell Programming
• Scheme Programming
• Scala Programming Language
• Caml and OCaml Programming

• Type Theory and Functional Programming (Simon Thompson)
• The Mirror Site (1) - PDF
• Book Review - PDF

• Programming in Martin-Lof's Type Theory: An Introduction

  This book focuses on the type theory developed by Per Martin-Lof. It contains a thorough introduction to the Martin-Lof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

• Proofs and Types (Jean-Yves Girard, et al.)

  Deals with the mathematical background of the application to computer science of aspects of logic on typed lambda calculus (namely the correspondence between propositions and types). Treats both the traditional logic and its applications to computer science.

• Object-Oriented vs. Functional Programming (R. Warburton)

  This book discusses similarities between these programming paradigms and points out that both FP and OOP are actually moving closer toward one another. One prominent example is the use of lambda expressions in Java and other OOP languages.

• Mostly Adequate Guide To Functional Programming

  This is a book on the functional paradigm in general. We'll use the world's most popular functional programming language: JavaScript. This makes it possible to practice and apply your acquired knowledge each day on real world programs.

• Functional Programming in Python (David Mertz)

  It describes ways to avoid Python's imperative-style flow control, the nuances of callable functions, how to work lazily with iterators, and the use of higher-order functions. He also lists several third-party Python libraries useful for functional programming.

• The Haskell School of Music - From Signals to Symphonies

  This book explores the fundamentals of computer music and functional programming through the Haskell. It explores common paradigms used in algorithmic music composition, such as stochastic generation, musical grammars, etc.

• Functional Programming in OCaml (Michael R. Clarkson, et al.)

  This book is a multi-dimensional presentation of the OCaml language that combines an informal and intuitive approach to the language with a rigorous definition and a formal semantics of a large subset of the language, including ML.

• Writing Native Mobile Apps in a Functional Language Succinctly

  This book shows how you can use a customized functional language to build fully functional mobile apps. You will build off the skills you’ve already developed to begin creating applications that you can put to immediate use.

• Exploring ReasonML and Functional Programming

  This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.

• Purely Functional Data Structures (Chris Okasaki)

  This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. All source code is given in Standard ML and Haskell.

• Functional Programming in Scheme (Kurt Normark)

  This is a book about functional programming in Scheme, which is a pragmatic choice of programming language in the functional programming paradigm, with unique flexibility due to the membership of the Lisp family of languages.

• Functional-Light JavaScript (Kyle Simpson)

  This book is a balanced, pragmatic exploration of Functional Programming (FP) in JavaScript. It explores the core principles of FP as they are applied to JavaScript without drowning in all the heavy terminology.