skip to content
Pattern calculus : computing with functions and structures Preview this item
ClosePreview this item
Checking...

Pattern calculus : computing with functions and structures

Author: Barry Jay
Publisher: Dordrecht ; New York : Springer, ©2009.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Jay, Barry.
Pattern calculus.
Berlin ; New York : Springer, ©2009
(OCoLC)416294701
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Barry Jay
ISBN: 9783540891857 3540891854
OCLC Number: 456455920
Description: 1 online resource (xvii, 213 pages) : illustrations
Contents: Introduction --
Functions --
Data structures --
Static patterns --
Dynamic patterns --
Objects --
Parametric polymorphism --
Functor polymorphism --
Path polymorphism --
Pattern polymorphism --
Inclusion polymorphism --
Implicit typing --
Higher-order functions --
Algebraic data types --
Queries --
Dynamic linear patterns --
State --
Object-oriented classes --
A: Syntax.
Responsibility: Barry Jay.

Abstract:

Pattern calculus is a new foundation for computation. This book introduces static and dynamic pattern calculus, supports a family of type systems for pattern calculi that build on novel typings of  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "In this book the author will make you have second thoughts about the possibility and desirability of compiling away pattern matching ... It is amazing that the dynamic pattern Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/456455920> # Pattern calculus : computing with functions and structures
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "456455920" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/802300215#Place/dordrecht> ; # Dordrecht
   schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/802300215#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:about <http://id.worldcat.org/fast/887978> ; # Data structures (Computer science)
   schema:about <http://dewey.info/class/005.73/e22/> ;
   schema:bookFormat schema:EBook ;
   schema:copyrightYear "2009" ;
   schema:creator <http://viaf.org/viaf/102577194> ; # Barry Jay
   schema:datePublished "2009" ;
   schema: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."@en ;
   schema:description "Introduction -- Functions -- Data structures -- Static patterns -- Dynamic patterns -- Objects -- Parametric polymorphism -- Functor polymorphism -- Path polymorphism -- Pattern polymorphism -- Inclusion polymorphism -- Implicit typing -- Higher-order functions -- Algebraic data types -- Queries -- Dynamic linear patterns -- State -- Object-oriented classes -- A: Syntax."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/802300215> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/416294701> ;
   schema:name "Pattern calculus : computing with functions and structures"@en ;
   schema:productID "456455920" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/456455920#PublicationEvent/dordrecht_new_york_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/802300215#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-89184-0> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-89184-0> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=292022> ;
   schema:url <http://link.springer.com/10.1007/978-3-540-89185-7> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89185-7> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-89185-7> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-3-540-89185-7> ;
   schema:workExample <http://worldcat.org/isbn/9783540891857> ;
   umbel:isLike <http://d-nb.info/99329149X> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA963134> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/456455920> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/802300215#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
   schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://id.worldcat.org/fast/887978> # Data structures (Computer science)
    a schema:Intangible ;
   schema:name "Data structures (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/936086> # Functional programming (Computer science)
    a schema:Intangible ;
   schema:name "Functional programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/991011> # Lambda calculus
    a schema:Intangible ;
   schema:name "Lambda calculus"@en ;
    .

<http://link.springer.com/10.1007/978-3-540-89185-7>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://link.springer.com/openurl?genre=book&isbn=978-3-540-89184-0>
   rdfs:comment "Springer eBooks (Computer Science 2009)" ;
    .

<http://viaf.org/viaf/102577194> # Barry Jay
    a schema:Person ;
   schema:familyName "Jay" ;
   schema:givenName "Barry" ;
   schema:name "Barry Jay" ;
    .

<http://worldcat.org/isbn/9783540891857>
    a schema:ProductModel ;
   schema:isbn "3540891854" ;
   schema:isbn "9783540891857" ;
    .

<http://www.worldcat.org/oclc/416294701>
    a schema:CreativeWork ;
   rdfs:label "Pattern calculus." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/456455920> ; # Pattern calculus : computing with functions and structures
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.