Sciweavers

SAS
1993
Springer

Strictness Properties of Lazy Algebraic Datatypes

14 years 2 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 recursive domain equations associated with such types as initial algebras. We then show how the initial algebra induction principle can be used to reason about the entailment relation on the chosen collection of properties. We examine the lattice of properties given by our construction for the type nlist of lazy lists of natural numbers and give proof rules which extend the conjunctive strictness logic of [2] to a language including the type nlist.
P. N. Benton
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where SAS
Authors P. N. Benton
Comments (0)