Textbook in PDF format

Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation, and their impact in a larger context.
Part I Terms
1 Introduction
2 Functions
3 Data Structures
4 Static Patterns
5 Dynamic Patterns
6 Objects
Part II Types
7 Parametric Polymorphism
8 Functor Polymorphism
9 Path Polymorphism
10 Pattern Polymorphism
11 Inclusion Polymorphism
12 Implicit Typing
Part III Programming in bondi
13 Higher-Order Functions
14 Algebraic Data Types
15 Queries
16 Dynamic Linear Patterns
17 State
18 Object-Oriented Classes