Sciweavers

SAS
1993
Springer
104views Formal Methods» more  SAS 1993»
14 years 4 months ago
Strictness Properties of Lazy Algebraic Datatypes
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
P. N. Benton