Table of Contents

Foreword; Preface; Contents; List of Figures; Part I Terms; Introduction; Functions; Data Structures; Static Patterns; Dynamic Patterns; Objects; Part II Types; Parametric Polymorphism; Functor Polymorphism; Path Polymorphism; Pattern Polymorphism; Inclusion Polymorphism; Implicit Typing; Part III Programming in bondi; Higher-Order Functions; Algebraic Data Types; Queries; Dynamic Linear Patterns; State; Object-Oriented Classes; Syntax; References; Index. Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming language design, the integration of existing programming styles, or the development of new programming styles.