2009

Pattern Calculus

Computing with Functions and Structures

Authors:

ISBN: 978-3-540-89184-0 (Print) 978-3-540-89185-7 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xv

  2. Terms

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-12

      Introduction

    3. No Access

      Book Chapter

      Pages 13-22

      Functions

    4. No Access

      Book Chapter

      Pages 23-31

      Data Structures

    5. No Access

      Book Chapter

      Pages 33-44

      Static Patterns

    6. No Access

      Book Chapter

      Pages 45-58

      Dynamic Patterns

    7. No Access

      Book Chapter

      Pages 59-64

      Objects

  3. Types

    1. Front Matter

      Pages 65-65

    2. No Access

      Book Chapter

      Pages 67-79

      Parametric Polymorphism

    3. No Access

      Book Chapter

      Pages 81-90

      Functor Polymorphism

    4. No Access

      Book Chapter

      Pages 91-103

      Path Polymorphism

    5. No Access

      Book Chapter

      Pages 105-111

      Pattern Polymorphism

    6. No Access

      Book Chapter

      Pages 113-128

      Inclusion Polymorphism

    7. No Access

      Book Chapter

      Pages 129-141

      Implicit Typing

  4. Programming in bondi

    1. Front Matter

      Pages 143-143

    2. No Access

      Book Chapter

      Pages 145-147

      Higher-Order Functions

    3. No Access

      Book Chapter

      Pages 149-160

      Algebraic Data Types

    4. No Access

      Book Chapter

      Pages 161-168

      Queries

    5. No Access

      Book Chapter

      Pages 169-171

      Dynamic Linear Patterns

    6. No Access

      Book Chapter

      Pages 173-178

      State

    7. No Access

      Book Chapter

      Pages 179-197

      Object-Oriented Classes

  5. Back Matter

    Pages 1-14