Login

Jay, Barry

Pattern Calculus

Jay, Barry - Pattern Calculus, ebook

99,20€

Ebook, PDF with Adobe DRM
ISBN: 9783540891857
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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)
Publisher
Springer
Publication year
2009
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783540891857

Similar titles