Linked Data Explorerhttp://worldcat.org/entity/work/id/1181557930
LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark
Open All Close All
http://schema.org/alternateName
- "Workshop on Logical Frameworks and Meta-Languages, Theory and Practice"@en
- "Proceedings of the seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice"@en
- "LFMTP 2012"@en
- "Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice"@en
http://schema.org/contributor
- http://id.loc.gov/authorities/names/n82047295
- http://experiment.worldcat.org/entity/work/data/1181557930#Meeting/acm_sigplan_international_conference_on_functional_programming_17th_2012_copenhagen_denmark
- http://worldcat.org/entity/person/id/2640793972
- http://experiment.worldcat.org/entity/work/data/1181557930#Organization/association_for_computing_machinery
- http://viaf.org/viaf/155091561
- http://viaf.org/viaf/128802907
- http://worldcat.org/entity/person/id/2641468205
- http://id.loc.gov/authorities/names/no98128269
http://schema.org/genre
- "Conference papers and proceedings"@en
http://schema.org/name
- "LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta-Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark"@en