Jay, Barry
Pattern Calculus
2. Introduction
Barry Jay
3. Functions
Barry Jay
4. Data Structures
Barry Jay
5. Static Patterns
Barry Jay
6. Dynamic Patterns
Barry Jay
7. Objects
Barry Jay
8. Parametric Polymorphism
Barry Jay
9. Functor Polymorphism
Barry Jay
10. Path Polymorphism
Barry Jay
11. Pattern Polymorphism
Barry Jay
12. Inclusion Polymorphism
Barry Jay
13. Implicit Typing
Barry Jay
14. Higher-Order Functions
Barry Jay
15. Algebraic Data Types
Barry Jay
16. Queries
Barry Jay
17. Dynamic Linear Patterns
Barry Jay
18. State
Barry Jay
19. Object-Oriented Classes
Barry Jay
Keywords: Computer Science, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters
- Author(s)
- Jay, Barry
- Publisher
- Springer
- Publication year
- 2009
- Language
- en
- Edition
- 1
- Page amount
- 15 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783540891857