Encapsulating non-determinacy in an abstract data type with determinate semantics.
Saved in:
| Title: | Encapsulating non-determinacy in an abstract data type with determinate semantics. |
|---|---|
| Authors: | Burton, F. Warren1 |
| Source: | Journal of Functional Programming. Jan1991, Vol. 1 Issue 1, p3-20. 18p. |
| Database: | Mathematics Source |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796800000046 |