skip to content
Reasoning about continuations with control effects Preview this item
ClosePreview this item
Checking...

Reasoning about continuations with control effects

Author: Pierre Jouvelot; David K Gifford; Massachusetts Institute of Technology. Laboratory for Computer Science.
Publisher: Cambridge, Mass. : Laboratory for Computer Science, Massachusetts Institute of Technology, ©1989.
Series: MIT/LCS/TM, 378.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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: Pierre Jouvelot; David K Gifford; Massachusetts Institute of Technology. Laboratory for Computer Science.
OCLC Number: 19962756
Notes: "January 1989."
Description: 14 pages ; 28 cm.
Series Title: MIT/LCS/TM, 378.
Other Titles: Continuations with control effects
Responsibility: Pierre Jouvelot, David K. Gifford.

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/19962756> # Reasoning about continuations with control effects
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "19962756" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1909281991#Place/cambridge_mass> ; # Cambridge, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.worldcat.org/fast/871538> ; # Compilers (Computer programs)
    schema:about <http://id.worldcat.org/fast/986892> ; # Kernel functions
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:alternateName "Continuations with control effects" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/154819218> ; # Massachusetts Institute of Technology. Laboratory for Computer Science.
    schema:contributor <http://viaf.org/viaf/23368339> ; # David K. Gifford
    schema:copyrightYear "1989" ;
    schema:creator <http://viaf.org/viaf/268228386> ; # Pierre Jouvelot
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1909281991> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1909281991#Series/mit_lcs_tm> ; # MIT/LCS/TM ;
    schema:name "Reasoning about continuations with control effects"@en ;
    schema:productID "19962756" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/19962756#PublicationEvent/cambridge_mass_laboratory_for_computer_science_massachusetts_institute_of_technology_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1909281991#Agent/laboratory_for_computer_science_massachusetts_institute_of_technology> ; # Laboratory for Computer Science, Massachusetts Institute of Technology
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/19962756> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1909281991#Agent/laboratory_for_computer_science_massachusetts_institute_of_technology> # Laboratory for Computer Science, Massachusetts Institute of Technology
    a bgn:Agent ;
    schema:name "Laboratory for Computer Science, Massachusetts Institute of Technology" ;
    .

<http://experiment.worldcat.org/entity/work/data/1909281991#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/1909281991#Series/mit_lcs_tm> # MIT/LCS/TM ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/19962756> ; # Reasoning about continuations with control effects
    schema:name "MIT/LCS/TM ;" ;
    schema:name "MIT/LCS/TM- ;" ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/871538> # Compilers (Computer programs)
    a schema:Intangible ;
    schema:name "Compilers (Computer programs)"@en ;
    .

<http://id.worldcat.org/fast/986892> # Kernel functions
    a schema:Intangible ;
    schema:name "Kernel functions"@en ;
    .

<http://viaf.org/viaf/154819218> # Massachusetts Institute of Technology. Laboratory for Computer Science.
    a schema:Organization ;
    schema:name "Massachusetts Institute of Technology. Laboratory for Computer Science." ;
    .

<http://viaf.org/viaf/23368339> # David K. Gifford
    a schema:Person ;
    schema:familyName "Gifford" ;
    schema:givenName "David K." ;
    schema:name "David K. Gifford" ;
    .

<http://viaf.org/viaf/268228386> # Pierre Jouvelot
    a schema:Person ;
    schema:familyName "Jouvelot" ;
    schema:givenName "Pierre" ;
    schema:name "Pierre Jouvelot" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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