Pattern Calculus: Computing with Functions and Structures

Description

The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in object-orientation. By contrast, a small typed pattern calculus is able to support all the main programming styles, including functional, imperative, object-oriented and query-based styles, and there is evidence that it can support a language for Web services, able to exploit data structures about which almost nothing is known.


The book is divided into three parts, on terms, types and programs, and contains many new results. Part I introduces static and then dynamic pattern calculus. The former supports path polymorphic functions, able to traverse arbitrary paths through data structures. It also shows how Lisp is more than just lambda-calculus. The dynamic calculus allows any term to be a pattern, so that patterns can be discovered, combined and simplified on the fly. Part II supports a family of type systems for pattern calculi that build on novel typings of lambda-calculus. The type system for query calculus allows database queries to be applied uniformly to arbitrary data structures, while still guaranteeing that evaluation terminates. Subtyping and type parameters combine to produce type inequalities, whose solutions provide an expressive account of object-orientation. Also, typing can be made implicit, which simplifies implementation. Part III realises all these ideas in a new programming language, bondi, where the various programming styles can be combined, including algebraic data types and object-oriented classes.


This book is useful 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. The reader is supported throughout with proofs and examples, both in text and in bondi, the source code of which is freely available online.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Pattern Calculus: Computing with Functions and Structures" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 3283
2. Pattern Calculus: Computing with Functions and Structures (ReUp)
3. Pattern-Oriented Software Architecture Volume 4: A Pattern Language for Distributed Computing
4. Pattern-Oriented Software Architecture: A Pattern Language for Distributed Computing
5. Pattern-Oriented Software Architecture Volume 4: A Pattern Language for Distributed Computing (Repost)
6. Pattern-Oriented Software Architecture Volume 4: A Pattern Language for Distributed Computing | Ebook Share
7. [share_ebook] Pattern-Oriented Software Architecture, Volume 4: A Pattern Language for Distributed Computing
8. Pattern-Oriented Software Architecture: A Pattern Language for Distributed Computing (Wiley Software
9. [share_ebook] Pattern-Oriented Software Architecture Volume 4: A Pattern Language for Distributed Computing
10. [share_ebook] Algorithms and Data Structures: The Science of Computing
11. Calculus: Early Transcendental Functions
12. Calculus 2a - Real Functions in Several Variables
13. Calculus 2a - Real Functions in Several Variables
14. Complex Functions Examples c-6 - Calculus of Residues
15. Ecdysone: Structures and Functions
16. McGraw-Hill Ryerson Calculus & Advanced Functions