A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Algebraic domain equations
1983
Theoretical Computer Science
This paper discusses a new specification method for algebraic data types consisting of an nlgcbraic analogon to domain equations as known from Scott's theory (1971) of order-theoretic data types. The main result is that strongly persistent algebraic domain equations always have an initial solution. and there is a simple syntactic method to construct a specification of this initial solution. Examples illustrate the usefulness of implicit specifications in certain cases. Then, a parametric
doi:10.1016/0304-3975(83)90098-1
fatcat:y7bpq5pql5hv3jrdfraiwjxy5y