Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Pattern Calculus: Computing with Functions and Structures

Buy

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.

(HTML tags aren't allowed.)

Computer Organization and Design, Fourth Edition: The Hardware/Software Interface
Computer Organization and Design, Fourth Edition: The Hardware/Software Interface

This Fourth Revised Edition of Computer Organization and Design includes a complete set of updated and new exercises, along with improvements and changes suggested by instructors and students. Focusing on the revolutionary change taking place in industry today--the switch from uniprocessor to multicore microprocessors--this classic...

Java 7 Concurrency Cookbook
Java 7 Concurrency Cookbook
When you work with a computer, you can do several things at once. You can hear music while you edit a document in a word processor and read your e-mail. This can be done because your operating system allows the concurrency of tasks. Concurrent programming is about the elements and mechanisms a platform offers to have multiple tasks...
David Busch's Sony Alpha DSLR-A850 Guide to Digital Photography
David Busch's Sony Alpha DSLR-A850 Guide to Digital Photography

With the Alpha DSLR-A850, Sony has combined 24 megapixels of full-frame resolution with the compact body and ease of use that the Alpha models are known for. David Busch's Sony Alpha DSLR-A850 Guide to Digital Photography shows discerning photographers like you how to take outstanding pictures with this sophisticated and cutting-edge...


Presence-Based Coaching: Cultivating Self-Generative Leaders Through Mind, Body, and Heart
Presence-Based Coaching: Cultivating Self-Generative Leaders Through Mind, Body, and Heart

Presence-Based Coaching offers coaches a hands-on resource for developing the capacities and skills needed to be reliably present in all situations, and shows how to let go of habitual—and often ineffective—ways of responding. As author and leadership expert Doug Silsbee explains, once a coach has mastered the inner moves...

Hands-On Security in DevOps: Ensure continuous security, deployment, and delivery with DevSecOps
Hands-On Security in DevOps: Ensure continuous security, deployment, and delivery with DevSecOps

Protect your organization's security at all levels by introducing the latest strategies for securing DevOps

Key Features

  • Integrate security at each layer of the DevOps pipeline
  • Discover security practices to protect your cloud services by detecting fraud and...
The Rough Guide to the Grand Canyon
The Rough Guide to the Grand Canyon

The Rough Guide to the Grand Canyon is the definitive practical guide to America's greatest natural wonder. It explores this stunning natural attraction and the surrounding area in its entirety, from the ruggedly beautiful inner canyon and the famous viewpoints of the North and South rims to the turquoise waters of Havasu Falls and...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy