| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/d/DerekDreyer +
, https://dblp.org/pid/72/4043 +
, https://dblp.org/pid/g/RobertoGiacobazzi +
, https://dblp.org/pid/h/MichaelWHicks +
, https://dblp.org/pid/j/SJagannathan +
, https://dblp.org/pid/s/SSagiv +
, https://dblp.org/pid/74/185 +
, https://dblp.org/pid/w/PhilipWadler +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
| https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/d/DerekDreyer +
, https://dblp.org/pid/72/4043 +
, https://dblp.org/pid/g/RobertoGiacobazzi +
, https://dblp.org/pid/h/MichaelWHicks +
, https://dblp.org/pid/j/SJagannathan +
, https://dblp.org/pid/s/SSagiv +
, https://dblp.org/pid/74/185 +
, https://dblp.org/pid/w/PhilipWadler +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/2502508.2502517 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/2502508.2502517 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/sigplan/sigplan48 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
8
|
| https://dblp.org/rdf/schema#pagination
|
12-16
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/2502508.2502517 +
|
| https://dblp.org/rdf/schema#publishedIn
|
ACM SIGPLAN Notices
|
| https://dblp.org/rdf/schema#publishedInJournal
|
ACM SIGPLAN Notices
|
| https://dblp.org/rdf/schema#publishedInJournalVolume
|
48
|
| https://dblp.org/rdf/schema#publishedInJournalVolumeIssue
|
4S
|
| https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/journals/sigplan +
|
| https://dblp.org/rdf/schema#title
|
Principles of POPL.
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2013
|
| owl:sameAs |
https://doi.org/10.1145/2502508.2502517 +
, http://dx.doi.org/10.1145/2502508.2502517 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Article +
|
| rdfs:label |
Derek Dreyer et al.: Principles of POPL. (2013)
|
