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: Berlin ; London : Springer, 2009.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable 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.
Rating:

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

Subjects
More like this

 

Find a copy online

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 ; London : 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: 458558675
Description: 1 online resource (xvii, 213 pages) : illustrations
Contents: Foreword; Preface; Contents; List of Figures; Part I Terms; Introduction; Functions; Data Structures; Static Patterns; Dynamic Patterns; Objects; Part II Types; Parametric Polymorphism; Functor Polymorphism; Path Polymorphism; Pattern Polymorphism; Inclusion Polymorphism; Implicit Typing; Part III Programming in bondi; Higher-Order Functions; Algebraic Data Types; Queries; Dynamic Linear Patterns; State; Object-Oriented Classes; Syntax; References; Index.
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/458558675> # Pattern calculus : computing with functions and structures
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "458558675" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/802300215#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/802300215#Topic/informatique> ; # Informatique
   schema:about <http://dewey.info/class/005.73/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/802300215#Topic/computer_science_it> ; # Computer Science--IT
   schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
   schema:about <http://id.worldcat.org/fast/887978> ; # Data structures (Computer science)
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/102577194> ; # Barry Jay
   schema:datePublished "2009" ;
   schema:description "Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable 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."@en ;
   schema:description "Foreword; Preface; Contents; List of Figures; Part I Terms; Introduction; Functions; Data Structures; Static Patterns; Dynamic Patterns; Objects; Part II Types; Parametric Polymorphism; Functor Polymorphism; Path Polymorphism; Pattern Polymorphism; Inclusion Polymorphism; Implicit Typing; Part III Programming in bondi; Higher-Order Functions; Algebraic Data Types; Queries; Dynamic Linear Patterns; State; Object-Oriented Classes; Syntax; References; Index."@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 "458558675" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/458558675#PublicationEvent/berlin_london_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/802300215#Agent/springer> ; # Springer
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=292022> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=478173> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-89185-7> ;
   schema:url <http://site.ebrary.com/id/10318814> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89184-0> ;
   schema:workExample <http://worldcat.org/isbn/9783540891857> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/458558675> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/802300215#Topic/computer_science_it> # Computer Science--IT
    a schema:Intangible ;
   schema:name "Computer Science--IT"@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://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/458558675> ; # 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.