Positive Supercompilation for a Higher-Order Call-By-Value Language | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/journals/corr/abs-1005-5278>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Johan_Nordlander>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Peter_A._Jonsson>
foaf:homepage	<http://arxiv.org/abs/1005.5278>
dc:identifier	DBLP journals/corr/abs-1005-5278 (xsd:string)
dcterms:issued	2010 (xsd:gYear)
swrc:journal	<https://dblp.l3s.de/d2r/resource/journals/corr>
rdfs:label	Positive Supercompilation for a Higher-Order Call-By-Value Language (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Johan_Nordlander>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Peter_A._Jonsson>
swrc:number	3 (xsd:string)
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/journals/corr/abs-1005-5278/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/journals/corr/abs-1005-5278>
rdfs:seeAlso	<http://arxiv.org/abs/1005.5278>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/journals/lmcs/lmcs6.html#abs-1005-5278>
dc:title	Positive Supercompilation for a Higher-Order Call-By-Value Language (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:Article
rdf:type	foaf:Document
swrc:volume	6 (xsd:string)