Encapsulating non-determinacy in an abstract data type with determinate semantics.

Saved in:
Bibliographic Details
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
Description
ISSN:09567968
DOI:10.1017/S0956796800000046