skip to content
Elements of functional languages Preview this item
ClosePreview this item
Checking...

Elements of functional languages

Author: Martin C Henson
Publisher: Oxford ; Boston : Blackwell Scientific Publications, 1987.
Series: Computer science texts.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This book takes as its central theme the contention that functional languages are more appropriate than conventional imperative languages for addressing the important concerns of software science.

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Martin C Henson
ISBN: 0632017392 9780632017393 0632015063 9780632015061
OCLC Number: 15164226
Description: xiii, 434 pages : illustrations ; 25 cm.
Contents: Functional languages; Lambda and combinatory calculi; Programming and verification; Program transformation; FP systems; Implementation; Theoretical foundations; Compiler derivation - a worked example in functional programming. Appendix A : Mathematical preliminaries. Appendix B : Computational preliminaries; Solutions to exercises.
Series Title: Computer science texts.
Responsibility: Martin C. Henson.

Reviews

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/15164226> # Elements of functional languages
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "15164226" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/8544562#Place/oxford> ; # Oxford
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    schema:about <http://id.worldcat.org/fast/936087> ; # Functional programming languages
    schema:about <http://dewey.info/class/005.1/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/8544562#Thing/computer_systems> ; # Computer systems
    schema:about <http://experiment.worldcat.org/entity/work/data/8544562#Topic/funktionale_programmiersprache> ; # Funktionale Programmiersprache
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/54481939> ; # Martin C. Henson
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/8544562> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/8544562#Series/computer_science_texts> ; # Computer science texts.
    schema:name "Elements of functional languages"@en ;
    schema:productID "15164226" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/15164226#PublicationEvent/oxford_boston_blackwell_scientific_publications_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/8544562#Agent/blackwell_scientific_publications> ; # Blackwell Scientific Publications
    schema:workExample <http://worldcat.org/isbn/9780632015061> ;
    schema:workExample <http://worldcat.org/isbn/9780632017393> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8712920> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/15164226> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/8544562#Agent/blackwell_scientific_publications> # Blackwell Scientific Publications
    a bgn:Agent ;
    schema:name "Blackwell Scientific Publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/8544562#Series/computer_science_texts> # Computer science texts.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/15164226> ; # Elements of functional languages
    schema:name "Computer science texts." ;
    schema:name "Computer science texts" ;
    .

<http://experiment.worldcat.org/entity/work/data/8544562#Thing/computer_systems> # Computer systems
    a schema:Thing ;
    schema:name "Computer systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/8544562#Topic/funktionale_programmiersprache> # Funktionale Programmiersprache
    a schema:Intangible ;
    schema:name "Funktionale Programmiersprache"@en ;
    .

<http://id.worldcat.org/fast/936087> # Functional programming languages
    a schema:Intangible ;
    schema:name "Functional programming languages"@en ;
    .

<http://viaf.org/viaf/54481939> # Martin C. Henson
    a schema:Person ;
    schema:familyName "Henson" ;
    schema:givenName "Martin C." ;
    schema:name "Martin C. Henson" ;
    .

<http://worldcat.org/isbn/9780632015061>
    a schema:ProductModel ;
    schema:isbn "0632015063" ;
    schema:isbn "9780632015061" ;
    .

<http://worldcat.org/isbn/9780632017393>
    a schema:ProductModel ;
    schema:isbn "0632017392" ;
    schema:isbn "9780632017393" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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