skip to content
Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding : 2003, Uppsala, Sweden, 2003. Preview this item
ClosePreview this item
Checking...

Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding : 2003, Uppsala, Sweden, 2003.

Author: ACM Special Interest Group on Programming Languages.; Association for Computing Machinery.
Publisher: New York, NY : ACM Press, 2004.
Edition/Format:   eBook : Document : Conference publication : English
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: ACM Special Interest Group on Programming Languages.; Association for Computing Machinery.
ISBN: 1581138008 9781581138009
OCLC Number: 55643015
Notes: "MERLIN '03."
Held in conjunction with the 2003 ACM SIGPLAN International Conference on Functional Programming.
Reproduction Notes: Electronic reproduction. New York, N.Y. : ACM, c2004. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web. Made available through ACM Digital Library.
Description: 97 pages : illustrations

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/55643015> # Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding : 2003, Uppsala, Sweden, 2003.
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "55643015" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/16727456#Place/new_york_ny> ; # New York, NY
   schema:about <http://id.worldcat.org/fast/1091287> ; # Reasoning--Data processing
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/16727456#Topic/reasoning_data_processing> ; # Reasoning--Data processing
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/16727456#Organization/association_for_computing_machinery> ; # Association for Computing Machinery.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/16727456#Meeting/acm_sigplan_international_conference_on_functional_programming_8th_2003_uppsala_sweden> ; # ACM SIGPLAN International Conference on Functional Programming (8th : 2003 : Uppsala, Sweden)
   schema:contributor <http://viaf.org/viaf/128802907> ; # ACM Special Interest Group on Programming Languages.
   schema:creator <http://experiment.worldcat.org/entity/work/data/16727456#Meeting/acm_sigplan_workshop_on_mechanized_reasoning_about_languages_with_variable_binding_2003_uppsala_sweden> ; # ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (2003 : Uppsala, Sweden)
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/16727456> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding : 2003, Uppsala, Sweden, 2003."@en ;
   schema:productID "55643015" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/55643015#PublicationEvent/new_york_ny_acm_press_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/16727456#Agent/acm_press> ; # ACM Press
   schema:url <http://portal.acm.org/toc.cfm?id=976571&coll=portal&dl=ACM&type=proceeding&idx=SERIES824&part=series&WantType=Proceedings&title=ICFP> ;
   schema:workExample <http://worldcat.org/isbn/9781581138009> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/55643015> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/16727456#Meeting/acm_sigplan_international_conference_on_functional_programming_8th_2003_uppsala_sweden> # ACM SIGPLAN International Conference on Functional Programming (8th : 2003 : Uppsala, Sweden)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/16727456#Place/uppsala_sweden> ; # Uppsala, Sweden)
   schema:name "ACM SIGPLAN International Conference on Functional Programming (8th : 2003 : Uppsala, Sweden)" ;
    .

<http://experiment.worldcat.org/entity/work/data/16727456#Meeting/acm_sigplan_workshop_on_mechanized_reasoning_about_languages_with_variable_binding_2003_uppsala_sweden> # ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (2003 : Uppsala, Sweden)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/16727456#Place/uppsala_sweden> ; # Uppsala, Sweden)
   schema:name "ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (2003 : Uppsala, Sweden)" ;
    .

<http://experiment.worldcat.org/entity/work/data/16727456#Organization/association_for_computing_machinery> # Association for Computing Machinery.
    a schema:Organization ;
   schema:name "Association for Computing Machinery." ;
    .

<http://experiment.worldcat.org/entity/work/data/16727456#Place/uppsala_sweden> # Uppsala, Sweden)
    a schema:Place ;
   schema:name "Uppsala, Sweden)" ;
    .

<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/1091287> # Reasoning--Data processing
    a schema:Intangible ;
   schema:name "Reasoning--Data processing"@en ;
    .

<http://viaf.org/viaf/128802907> # ACM Special Interest Group on Programming Languages.
    a schema:Organization ;
   schema:name "ACM Special Interest Group on Programming Languages." ;
    .

<http://worldcat.org/isbn/9781581138009>
    a schema:ProductModel ;
   schema:isbn "1581138008" ;
   schema:isbn "9781581138009" ;
    .

<http://www.worldcat.org/title/-/oclc/55643015>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/55643015> ; # Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding : 2003, Uppsala, Sweden, 2003.
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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