Logo

Categories, Types, and Structures

Categories, Types, and Structures
by

Publisher: MIT Press
ISBN/ASIN: 0262011255
ISBN-13: 9780262011259
Number of pages: 300

Description:
The main methodological connection between programming language theory and category theory is the fact that both theories are essentially "theories of functions." A crucial point, though, is that the categorical notion of morphism generalizes the set-theoretical description of function in a very broad sense, which provides a unified understanding of various aspects of the theory of programs. This book is mostly inspired by this specific methodological connection and its applications to the theory of programming languages. More precisely, as expressed by the subtitle, it aims at a self-contained introduction to general category theory (part I) and at a categorical understanding of the mathematical structures that constituted the theoretical background of relevant areas of language design (part II). The impact on functional programming, for example, of the mathematical tools described in part II, is well known, as it ranges from the early dialects of Lisp, to Edinburgh ML, to the current work in polymorphisms and modularity. Other applications, such as CAML, which will be described, use categorical formalization for the purposes of implementation.

Home page url

Download or read it online for free here:
Download link
(PDF)

Similar books

Book cover: Computational Category TheoryComputational Category Theory
by
The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.
(18932 views)
Book cover: Lecture Notes on the Lambda CalculusLecture Notes on the Lambda Calculus
by - Dalhousie University
Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.
(11870 views)
Book cover: Understanding Programming LanguagesUnderstanding Programming Languages
by - John Wiley & Sons
The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.
(16753 views)
Book cover: The Design and Implementation of Probabilistic Programming LanguagesThe Design and Implementation of Probabilistic Programming Languages
by - dippl.org
This book explains how to implement PPLs by lightweight embedding into a host language. We illustrate this by designing WebPPL, a small PPL embedded in Javascript. We show how to implement several algorithms for universal probabilistic inference.
(6644 views)