This HTML5 document contains 90 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n23http://dbpedia.org/resource/PL/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n19http://viaf.org/viaf/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n20http://www.sigplan.org/Conferences/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://students.engr.scu.edu/~sschaeck/acceptancerates/
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n22http://d-nb.info/gnd/

Statements

Subject Item
dbr:List_of_computer_science_conference_acronyms
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:List_of_computer_science_conferences
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:David_F._Bacon
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:List_of_important_publications_in_computer_science
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Matthias_Felleisen
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Symposium_on_Principles_of_programming_languages
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Function_composition_(computer_science)
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Programming_language_theory
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Tim_Sweeney_(game_developer)
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:PACMPL
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
n23:C
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:ACM_SIGACT
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Abstract_interpretation
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Symposium_on_Principles_of_Programming_Languages
rdf:type
yago:Conference108308497 yago:WikicatProgrammingLanguagesConferences yago:Abstraction100002137 owl:Thing dbo:SocietalEvent yago:Gathering107975026 yago:WikicatComputerScienceConferences yago:Meeting108307589 yago:Group100031264 yago:SocialGroup107950920
rdfs:label
Symposium on Principles of Programming Languages
rdfs:comment
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by two Special Interest Groups of the Association for Computing Machinery: SIGPLAN and SIGACT. POPL ranks as A* (top 4%) in the CORE conference ranking.
dcterms:subject
dbc:Programming_languages_conferences dbc:Association_for_Computing_Machinery_conferences
dbo:wikiPageID
7251893
dbo:wikiPageRevisionID
1085255910
dbo:wikiPageWikiLink
dbr:Special_Interest_Group dbr:Open_access dbr:Verification,_Model_Checking_and_Abstract_Interpretation dbr:SIGPLAN dbr:Types_in_Language_Design_and_Implementation dbr:SIGACT dbr:Association_for_Computing_Machinery dbr:International_Conference_on_Functional_Programming dbc:Programming_languages_conferences dbr:Practical_Applications_of_Declarative_Languages dbr:Foundations_and_Developments_of_Object-Oriented_Languages dbr:Academic_conference dbr:Paywall dbr:Programming_Language_Technologies_for_XML dbr:POPLmark_challenge dbr:Programming_Language_Design_and_Implementation dbr:Declarative_Aspects_of_Multicore_Programming dbr:Partial_Evaluation_and_Semantics-Based_Program_Manipulation dbc:Association_for_Computing_Machinery_conferences dbr:Computer_science dbr:ACM_Digital_Library
dbo:wikiPageExternalLink
n10: n20:POPL
owl:sameAs
n11:4vy9j yago-res:Symposium_on_Principles_of_Programming_Languages freebase:m.025x96c n19:144856420 wikidata:Q7661891 n22:1091865752
dbp:wikiPageUsesTemplate
dbt:Primary_sources dbt:More_citations_needed dbt:Reflist dbt:Association_for_Computing_Machinery dbt:Notability dbt:Multiple_issues dbt:Authority_control
dbo:abstract
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by two Special Interest Groups of the Association for Computing Machinery: SIGPLAN and SIGACT. POPL ranks as A* (top 4%) in the CORE conference ranking. The proceedings of the conference are hosted at the ACM Digital Library. They were initially under a paywall, but since 2017 they are published in open access as part of the journal Proceedings of the ACM on Programming Languages (PACMPL).
gold:hypernym
dbr:Conference
prov:wasDerivedFrom
wikipedia-en:Symposium_on_Principles_of_Programming_Languages?oldid=1085255910&ns=0
dbo:wikiPageLength
2278
foaf:isPrimaryTopicOf
wikipedia-en:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:POPL
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:ProgramByDesign
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Annual_ACM_Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Annual_Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:PLPV
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:ACM_SIGPLAN-SIGACT_Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:ACM_Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Principles_of_Programming_Languages
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
dbr:Programming_Languages_meets_Program_Verification
dbo:wikiPageWikiLink
dbr:Symposium_on_Principles_of_Programming_Languages
dbo:wikiPageRedirects
dbr:Symposium_on_Principles_of_Programming_Languages
Subject Item
wikipedia-en:Symposium_on_Principles_of_Programming_Languages
foaf:primaryTopic
dbr:Symposium_on_Principles_of_Programming_Languages