dc.contributor.author
Pape, Dirk
dc.date.accessioned
2018-06-08T08:12:24Z
dc.date.available
2009-04-14T08:35:34.053Z
dc.identifier.uri
https://refubium.fu-berlin.de/handle/fub188/19567
dc.identifier.uri
http://dx.doi.org/10.17169/refubium-23214
dc.description.abstract
Higher Order Demand Propagation as proposed in [Pa98] provides a non-standard
denotational semantics for a realistic functional language. This semantics can
be used to deduce generalised strictness information for higher order
polymorphic functions. This report provides the formal proof for the
correctness of this strictness information with respect to the non-strict
standard semantics.
de
dc.relation.ispartofseries
urn:nbn:de:kobv:188-fudocsseries000000000021-2
dc.rights.uri
http://www.fu-berlin.de/sites/refubium/rechtliches/Nutzungsbedingungen
dc.subject.ddc
000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung; Informatik
dc.title
The safety of higher order demand propagation
refubium.affiliation
Mathematik und Informatik
de
refubium.affiliation.other
Institut für Informatik
refubium.mycore.fudocsId
FUDOCS_document_000000001566
refubium.resourceType.isindependentpub
no
refubium.series.name
Freie Universität Berlin, Fachbereich Mathematik und Informatik
refubium.series.reportNumber
98-16
refubium.mycore.derivateId
FUDOCS_derivate_000000000340
dcterms.accessRights.openaire
open access
