skip to content
LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark Preview this item
ClosePreview this item
Checking...

LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark

Author: Adam Chlipala; C Schürmann; ACM Special Interest Group on Programming Languages,; Association for Computing Machinery,; ACM Digital Library.
Publisher: New York, New York : Association for Computing Machinery, [2012?] ©2012
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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
Additional Physical Format: Print version:
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (7th : 2012 : Copenhagen, Denmark).
LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark.
New York : ACM, 2012
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Adam Chlipala; C Schürmann; ACM Special Interest Group on Programming Languages,; Association for Computing Machinery,; ACM Digital Library.
OCLC Number: 817927136
Notes: "Associated with ICFP 2012, the 17th ACM SIGPLAN International Conference on Functional Programming"--Preface.
Description: 1 online resource (44 pages) : illustrations
Other Titles: LFMTP 2012
Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice
Workshop on Logical Frameworks and Meta-Languages, Theory and Practice
Proceedings of the seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice
Responsibility: sponsored by: ACM SIGPLAN ; program chairs: Adam Chlipala, MIT ; Carsten Schürmann, IT University of Copenhagen].

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/817927136> # LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "817927136" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1181557930#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1181557930#Topic/logic_programming> ; # Logic programming
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:alternateName "Proceedings of the seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice" ;
   schema:alternateName "Workshop on Logical Frameworks and Meta-Languages, Theory and Practice" ;
   schema:alternateName "Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice" ;
   schema:alternateName "LFMTP 2012" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/128802907> ; # ACM Special Interest Group on Programming Languages,
   schema:contributor <http://viaf.org/viaf/155091561> ; # ACM Digital Library.
   schema:contributor <http://viaf.org/viaf/29343851> ; # Carsten Schürmann
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1181557930#Meeting/acm_sigplan_international_conference_on_functional_programming_17th_2012_copenhagen_denmark> ; # ACM SIGPLAN International Conference on Functional Programming (17th : 2012 : Copenhagen, Denmark)
   schema:contributor <http://viaf.org/viaf/300987101> ; # Adam Chlipala
   schema:copyrightYear "2012" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1181557930#Meeting/international_workshop_on_logical_frameworks_and_meta_languages_theory_and_practice_7th_2012_copenhagen_denmark> ; # International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (7th : 2012 : Copenhagen, Denmark)
   schema:datePublished "2012" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1181557930> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1181557930#CreativeWork/lfmtp_12_proceedings_of_the_acm_sigplan_workshop_on_logical_frameworks_and_meta_languages_theory_and_practice_september_9_2012_copenhagen_denmark> ;
   schema:name "LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark"@en ;
   schema:productID "817927136" ;
   schema:publisher <http://viaf.org/viaf/133611413> ; # Association for Computing Machinery,
   schema:url <http://dl.acm.org/citation.cfm?id=2364406> ;
   schema:url <http://dx.doi.org/10.1145/2364406> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/817927136> ;
    .


Related Entities

<http://dl.acm.org/citation.cfm?id=2364406>
   rdfs:comment "Connect to full text." ;
    .

<http://experiment.worldcat.org/entity/work/data/1181557930#Meeting/acm_sigplan_international_conference_on_functional_programming_17th_2012_copenhagen_denmark> # ACM SIGPLAN International Conference on Functional Programming (17th : 2012 : Copenhagen, Denmark)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1181557930#Place/copenhagen_denmark> ; # Copenhagen, Denmark)
   schema:name "ACM SIGPLAN International Conference on Functional Programming (17th : 2012 : Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1181557930#Meeting/international_workshop_on_logical_frameworks_and_meta_languages_theory_and_practice_7th_2012_copenhagen_denmark> # International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (7th : 2012 : Copenhagen, Denmark)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1181557930#Place/copenhagen_denmark> ; # Copenhagen, Denmark)
   schema:name "International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (7th : 2012 : Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1181557930#Place/copenhagen_denmark> # Copenhagen, Denmark)
    a schema:Place ;
   schema:name "Copenhagen, Denmark)" ;
    .

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

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@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://viaf.org/viaf/133611413> # Association for Computing Machinery,
    a schema:Organization ;
   schema:name "Association for Computing Machinery," ;
    .

<http://viaf.org/viaf/155091561> # ACM Digital Library.
    a schema:Organization ;
   schema:name "ACM Digital Library." ;
    .

<http://viaf.org/viaf/29343851> # Carsten Schürmann
    a schema:Person ;
   schema:familyName "Schürmann" ;
   schema:givenName "Carsten" ;
   schema:givenName "C." ;
   schema:name "Carsten Schürmann" ;
    .

<http://viaf.org/viaf/300987101> # Adam Chlipala
    a schema:Person ;
   schema:birthDate "1981" ;
   schema:familyName "Chlipala" ;
   schema:givenName "Adam" ;
   schema:name "Adam Chlipala" ;
    .

<http://worldcat.org/entity/work/data/1181557930#CreativeWork/lfmtp_12_proceedings_of_the_acm_sigplan_workshop_on_logical_frameworks_and_meta_languages_theory_and_practice_september_9_2012_copenhagen_denmark>
    a schema:CreativeWork ;
   rdfs:label "LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/817927136> ; # LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark
    .

<http://www.worldcat.org/title/-/oclc/817927136>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/817927136> ; # LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark
   schema:dateModified "2018-03-11" ;
   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.