iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/popl/TakikawaFGNVF16.ttl
@prefix xsd:
. @prefix rdf:
. @prefix rdfs:
. @prefix owl:
. @prefix bf:
. @prefix bibo:
. @prefix bibtex:
. @prefix cito:
. @prefix datacite:
. @prefix dbo:
. @prefix dc:
. @prefix dct:
. @prefix foaf:
. @prefix litre:
. @prefix locid:
. @prefix locrel:
. @prefix schema:
. @prefix wd:
. @prefix wdt:
. @prefix dblp:
.
owl:sameAs
,
,
,
; rdfs:label "Asumu Takikawa et al.: Is sound gradual typing dead? (2016)" ; dblp:doi
; dblp:doi
; datacite:hasIdentifier [ datacite:usesIdentifierScheme datacite:dblp-record ; litre:hasLiteralValue "conf/popl/TakikawaFGNVF16" ; a datacite:ResourceIdentifier, datacite:Identifier ], [ datacite:usesIdentifierScheme datacite:doi ; litre:hasLiteralValue "10.1145/2837614.2837630" ; a datacite:ResourceIdentifier, datacite:Identifier ], [ datacite:usesIdentifierScheme datacite:doi ; litre:hasLiteralValue "10.1145/2914770.2837630" ; a datacite:ResourceIdentifier, datacite:Identifier ] ; dblp:title "Is sound gradual typing dead?" ; dblp:bibtexType bibtex:Inproceedings ; dblp:authoredBy
,
,
,
,
,
; dblp:createdBy
,
,
,
,
,
; dblp:numberOfCreators 6 ; dblp:hasSignature [ dblp:signatureDblpName "Asumu Takikawa" ; dblp:signatureCreator
; dblp:signatureOrdinal 1 ; dblp:signaturePublication
; a dblp:AuthorSignature, dblp:Signature ], [ dblp:signatureDblpName "Daniel Feltey" ; dblp:signatureCreator
; dblp:signatureOrdinal 2 ; dblp:signaturePublication
; a dblp:AuthorSignature, dblp:Signature ], [ dblp:signatureDblpName "Ben Greenman" ; dblp:signatureCreator
; dblp:signatureOrcid
; dblp:signatureOrdinal 3 ; dblp:signaturePublication
; a dblp:AuthorSignature, dblp:Signature ], [ dblp:signatureDblpName "Max S. New" ; dblp:signatureCreator
; dblp:signatureOrdinal 4 ; dblp:signaturePublication
; a dblp:AuthorSignature, dblp:Signature ], [ dblp:signatureDblpName "Jan Vitek" ; dblp:signatureCreator
; dblp:signatureOrdinal 5 ; dblp:signaturePublication
; a dblp:AuthorSignature, dblp:Signature ], [ dblp:signatureDblpName "Matthias Felleisen" ; dblp:signatureCreator
; dblp:signatureOrdinal 6 ; dblp:signaturePublication
; a dblp:AuthorSignature, dblp:Signature ] ; dblp:primaryDocumentPage
; dblp:documentPage
,
; dblp:listedOnTocPage
; dblp:publishedInStream
; dblp:pagination "456-468" ; dblp:publishedIn "POPL" ; dblp:publishedInBook "POPL" ; dblp:yearOfEvent "2016"^^
; dblp:yearOfPublication "2016"^^
; dblp:publishedAsPartOf
; a dblp:Publication, dblp:Inproceedings .
rdfs:label "provenance information for RDF data of dblp record 'conf/popl/TakikawaFGNVF16'" ; dct:creator
; dct:isPartOf
; dct:modified "2021-06-23T15:34:31+0200" ; dct:license
.