Research Catalog

Pattern calculus : computing with functions and structures / Barry Jay.

Title
Pattern calculus : computing with functions and structures / Barry Jay.
Author
Jay, Barry
Publication
Berlin ; New York : Springer, c2009.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.D35 J39 2009Off-site

Details

Subject
  • Data structures (Computer science)
  • Functional programming (Computer science)
  • Lambda calculus
Bibliography (note)
  • Includes bibliographical references (p. [205]-209) and index.
Processing Action (note)
  • committed to retain
Contents
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 ; High-order functions ; Algebraic data types ; Queries ; Dynamic linear patterns ; State ; Object-oriented classes ; Syntax -- References -- Index.
ISBN
  • 9783540891840 (hbk.)
  • 3540891846 (hbk.)
OCLC
  • 416294701
  • SCSB-10136561
Owning Institutions
Harvard Library