Pattern Calculus Computing with Functions and Structures /
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 i...
Main Author: | |
---|---|
Corporate Author: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009.
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Terms
- Functions
- Data Structures
- Static Patterns
- Dynamic Patterns
- Objects
- Types
- Parametric Polymorphism
- Functor Polymorphism
- Path Polymorphism
- Pattern Polymorphism
- Inclusion Polymorphism
- Implicit Typing
- Programming in bondi
- Higher-Order Functions
- Algebraic Data Types
- Queries
- Dynamic Linear Patterns
- State
- Object-Oriented Classes.