skip to content
Computing with recursive types Preview this item
ClosePreview this item
Checking...

Computing with recursive types

Author: Stavros S Cosmadakis
Publisher: Yorktown Heights, N.Y. : IBM T.J. Watson Research Center, 1988.
Series: International Business Machines Corporation.; Research Division.; Research report
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: Stavros S Cosmadakis
OCLC Number: 19968335
Notes: "Extended abstract."
Description: 24 pages ; 28 cm.
Series Title: International Business Machines Corporation.; Research Division.; Research report
Responsibility: Stavros S. Cosmadakis.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/19968335> # Computing with recursive types
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "19968335" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/21411582#Place/yorktown_heights_n_y> ; # Yorktown Heights, N.Y.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/21411582#Person/cosmadakis_stavros_s> ; # Stavros S. Cosmadakis
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/21411582> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21411582#Series/research_report_rc_international_business_machines_corporation_research_division> ; # Research report RC. International Business Machines Corporation. Research Division ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21411582#Series/research_report> ; # Research report ;
    schema:name "Computing with recursive types"@en ;
    schema:productID "19968335" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/19968335#PublicationEvent/yorktown_heights_n_y_ibm_t_j_watson_research_center_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/21411582#Agent/ibm_t_j_watson_research_center> ; # IBM T.J. Watson Research Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/19968335> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/21411582#Agent/ibm_t_j_watson_research_center> # IBM T.J. Watson Research Center
    a bgn:Agent ;
    schema:name "IBM T.J. Watson Research Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/21411582#Organization/international_business_machines_corporation_research_division> # International Business Machines Corporation. Research Division.
    a schema:Organization ;
    schema:name "International Business Machines Corporation. Research Division." ;
    .

<http://experiment.worldcat.org/entity/work/data/21411582#Person/cosmadakis_stavros_s> # Stavros S. Cosmadakis
    a schema:Person ;
    schema:familyName "Cosmadakis" ;
    schema:givenName "Stavros S." ;
    schema:name "Stavros S. Cosmadakis" ;
    .

<http://experiment.worldcat.org/entity/work/data/21411582#Place/yorktown_heights_n_y> # Yorktown Heights, N.Y.
    a schema:Place ;
    schema:name "Yorktown Heights, N.Y." ;
    .

<http://experiment.worldcat.org/entity/work/data/21411582#Series/research_report_rc_international_business_machines_corporation_research_division> # Research report RC. International Business Machines Corporation. Research Division ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/19968335> ; # Computing with recursive types
    schema:name "Research report RC. International Business Machines Corporation. Research Division ;" ;
    .

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

<http://id.worldcat.org/fast/991011> # Lambda calculus
    a schema:Intangible ;
    schema:name "Lambda calculus"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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