Strictness Analysis in the Imperative Lambda Calculus. | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/journals/lisp/SpringerK96>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Jonathan_Springer>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Samuel_N._Kamin>
dc:identifier	DBLP journals/lisp/SpringerK96 (xsd:string)
dcterms:issued	1996 (xsd:gYear)
swrc:journal	<https://dblp.l3s.de/d2r/resource/journals/lisp>
rdfs:label	Strictness Analysis in the Imperative Lambda Calculus. (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Jonathan_Springer>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Samuel_N._Kamin>
swrc:number	1 (xsd:string)
swrc:pages	109-143 (xsd:string)
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/journals/lisp/SpringerK96/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/journals/lisp/SpringerK96>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/journals/lisp/lisp9.html#SpringerK96>
dc:title	Strictness Analysis in the Imperative Lambda Calculus. (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:Article
rdf:type	foaf:Document
swrc:volume	9 (xsd:string)