skip to content
Functional programming and input/output Preview this item
ClosePreview this item
Checking...

Functional programming and input/output

Author: Andrew D Gordon
Publisher: Cambridge [England] ; New York : Cambridge University Press, 1994.
Series: Distinguished dissertations in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Extends functional programming to solve I/O problems, while retaining usual verification features.

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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andrew D Gordon
ISBN: 0521471036 9780521471039
OCLC Number: 30702148
Description: xv, 155 pages ; 26 cm.
Contents: Preface; 1. Introduction; 2. A calculus of recursive types; 3. A metalanguage for semantics; 4. Operational precongruence; 5. Theory of the metalanguage; 6. An operational theory of functional programming; 7. Four mechanisms for teletype I/O; 8. Monadic I/O; 9. Conclusion; Bibliography; Notation; Index.
Series Title: Distinguished dissertations in computer science.
Responsibility: Andrew D. Gordon.
More information:

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/30702148> # Functional programming and input/output
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "30702148" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/31430082#Place/cambridge_england> ; # Cambridge England
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://dewey.info/class/005.711/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/31430082#Topic/ordinateurs_equipement_d_entree_sortie> ; # Ordinateurs--Équipement d'entrée-sortie
   schema:about <http://experiment.worldcat.org/entity/work/data/31430082#Topic/programmation_fonctionnelle_informatique> ; # Programmation fonctionnelle (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/31430082#Topic/funktionale_programmierung> ; # Funktionale Programmierung
   schema:about <http://id.worldcat.org/fast/872204> ; # Computer input-output equipment
   schema:about <http://experiment.worldcat.org/entity/work/data/31430082#Thing/functional_programming> ; # Functional programming
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/31430082#Topic/ein_ausgabe> ; # Ein-Ausgabe
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/31430082#Person/gordon_andrew_d> ; # Andrew D. Gordon
   schema:datePublished "1994" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/31430082> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/31430082#Series/distinguished_dissertations_in_computer_science> ; # Distinguished dissertations in computer science.
   schema:name "Functional programming and input/output"@en ;
   schema:productID "30702148" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30702148#PublicationEvent/cambridge_england_new_york_cambridge_university_press_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/31430082#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/toc/cam029/94026403.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521471039> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9486897> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30702148> ;
    .


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/31430082#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/31430082#Person/gordon_andrew_d> # Andrew D. Gordon
    a schema:Person ;
   schema:familyName "Gordon" ;
   schema:givenName "Andrew D." ;
   schema:name "Andrew D. Gordon" ;
    .

<http://experiment.worldcat.org/entity/work/data/31430082#Place/cambridge_england> # Cambridge England
    a schema:Place ;
   schema:name "Cambridge England" ;
    .

<http://experiment.worldcat.org/entity/work/data/31430082#Series/distinguished_dissertations_in_computer_science> # Distinguished dissertations in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30702148> ; # Functional programming and input/output
   schema:name "Distinguished dissertations in computer science." ;
   schema:name "Distinguished dissertations in computer science" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/31430082#Topic/ordinateurs_equipement_d_entree_sortie> # Ordinateurs--Équipement d'entrée-sortie
    a schema:Intangible ;
   schema:name "Ordinateurs--Équipement d'entrée-sortie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/31430082#Topic/programmation_fonctionnelle_informatique> # Programmation fonctionnelle (informatique)
    a schema:Intangible ;
   schema:name "Programmation fonctionnelle (informatique)"@en ;
    .

<http://id.worldcat.org/fast/872204> # Computer input-output equipment
    a schema:Intangible ;
   schema:name "Computer input-output equipment"@en ;
    .

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

<http://worldcat.org/isbn/9780521471039>
    a schema:ProductModel ;
   schema:isbn "0521471036" ;
   schema:isbn "9780521471039" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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