skip to content
An introduction to functional programming systems using Haskell Preview this item
ClosePreview this item
Checking...

An introduction to functional programming systems using Haskell

Author: A J T Davie
Publisher: Cambridge ; New York, NY, USA : Cambridge University Press, 1992.
Series: Cambridge computer science texts, 27.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This study presents the basic concepts of applicative programming drawing on the language SASL for examples. The author incorporates a discussion of Lambda calculus and its relationship with SASL, as  Read more...

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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: A J T Davie
ISBN: 0521258308 9780521258302 0521277248 9780521277242
OCLC Number: 28422837
Description: xiv, 290 pages : illustrations ; 24 cm.
Contents: 1. Introduction; 2. Introduction to functional programs; 3. Techniques and methods; 4. Types; 5. Lambda calculus; 6. Applicative implementation; 7. Lazy evaluation; 8. Implementation of lazy evaluation; 9. Correctness; 10. Applicative program transformation; 11. Parallel evaluation; Bibliography; Appendices; Index.
Series Title: Cambridge computer science texts, 27.
Responsibility: Antony J.T. Davie.
More information:

Reviews

Editorial reviews

Publisher Synopsis

"...a very readable and understandable introduction to functional programming. It provides many concrete programming examples written in Haskell and discusses several design principles that seem to 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/28422837> # An introduction to functional programming systems using Haskell
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "28422837" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/30859640#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/30859640#Place/new_york_ny_usa> ; # New York, NY, USA
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/funktionale_programmierung> ; # Funktionale Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/haskell_programmeertaal> ; # Haskell (programmeertaal)
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/haskell> ; # HASKELL
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/haskell_computer_program_language> ; # Haskell (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/functional_programming_computer_science> ; # Functional programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/functionele_programmering> ; # Functionele programmering
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Thing/functional_programming> ; # Functional programming
    schema:about <http://dewey.info/class/005.11/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/programmation_fonctionnelle> ; # Programmation fonctionnelle
    schema:about <http://experiment.worldcat.org/entity/work/data/30859640#Topic/haskell_langage_de_programmation> ; # Haskell (Langage de programmation)
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/85336764> ; # Antony J. T. Davie
    schema:datePublished "1992" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/30859640> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/30859640#Series/cambridge_computer_science_texts> ; # Cambridge computer science texts ;
    schema:name "An introduction to functional programming systems using Haskell"@en ;
    schema:productID "28422837" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/28422837#PublicationEvent/cambridge_new_york_ny_usa_cambridge_university_press_1992> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/30859640#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://www.gbv.de/dms/bowker/toc/9780521277242.pdf> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9780521258302.pdf> ;
    schema:url <http://catdir.loc.gov/catdir/toc/cam027/92224723.html> ;
    schema:workExample <http://worldcat.org/isbn/9780521277242> ;
    schema:workExample <http://worldcat.org/isbn/9780521258302> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB92Y1353> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9248738> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/28422837> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/30859640#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Place/new_york_ny_usa> # New York, NY, USA
    a schema:Place ;
    schema:name "New York, NY, USA" ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Series/cambridge_computer_science_texts> # Cambridge computer science texts ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28422837> ; # An introduction to functional programming systems using Haskell
    schema:name "Cambridge computer science texts ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Thing/functional_programming> # Functional programming
    a schema:Thing ;
    schema:name "Functional programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Topic/functional_programming_computer_science> # Functional programming (Computer science)
    a schema:Intangible ;
    schema:name "Functional programming (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Topic/functionele_programmering> # Functionele programmering
    a schema:Intangible ;
    schema:name "Functionele programmering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Topic/funktionale_programmierung> # Funktionale Programmierung
    a schema:Intangible ;
    schema:name "Funktionale Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Topic/haskell_computer_program_language> # Haskell (Computer program language)
    a schema:Intangible ;
    schema:name "Haskell (Computer program language)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Topic/haskell_langage_de_programmation> # Haskell (Langage de programmation)
    a schema:Intangible ;
    schema:name "Haskell (Langage de programmation)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Topic/haskell_programmeertaal> # Haskell (programmeertaal)
    a schema:Intangible ;
    schema:name "Haskell (programmeertaal)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/30859640#Topic/programmation_fonctionnelle> # Programmation fonctionnelle
    a schema:Intangible ;
    schema:name "Programmation fonctionnelle"@fr ;
    .

<http://viaf.org/viaf/85336764> # Antony J. T. Davie
    a schema:Person ;
    schema:birthDate "1939" ;
    schema:familyName "Davie" ;
    schema:givenName "Antony J. T." ;
    schema:givenName "A. J. T." ;
    schema:name "Antony J. T. Davie" ;
    .

<http://worldcat.org/isbn/9780521258302>
    a schema:ProductModel ;
    schema:isbn "0521258308" ;
    schema:isbn "9780521258302" ;
    .

<http://worldcat.org/isbn/9780521277242>
    a schema:ProductModel ;
    schema:isbn "0521277248" ;
    schema:isbn "9780521277242" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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