This HTML5 document contains 10 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/
n8http://creativecommons.org/licenses/by/3.0/
wdrshttp://www.w3.org/2007/05/powder-s#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n3http://eprints.org/ontology/
bibohttp://purl.org/ontology/bibo/
n7http://creativecommons.org/ns#
n4https://kar.kent.ac.uk/84636/11/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n2https://kar.kent.ac.uk/id/document/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/

Statements

Subject Item
n2:3239612
rdf:type
n3:Document bibo:Document
rdfs:label
Resourceful program synthesis from graded linear types (PDF)
n3:hasFile
n4:Hughes-Orchard2021_Chapter_ResourcefulProgramSynthesisFro.pdf_nocoversheet n4:Hughes-Orchard2021_Chapter_ResourcefulProgramSynthesisFro.pdf
wdrs:describedby
n6:export_kar_RDFN3.n3 n10:export_kar_RDFN3.n3
dcterms:hasPart
n4:Hughes-Orchard2021_Chapter_ResourcefulProgramSynthesisFro.pdf n4:Hughes-Orchard2021_Chapter_ResourcefulProgramSynthesisFro.pdf_nocoversheet
n7:license
n8: