Higher Order Demand Propagation as proposed in Report B 98-15 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.
Get the report here or by anonymous ftp: Server: ftp.inf.fu-berlin.de File: pub/reports/tr-b-98-16.ps.gz Or get/view the Acrobat pdf version (recommended)