Does anyone know where the following paper was published?
"Nondeterminism with Referential Transparency in Functional
Programming Languages" 1984
F. Warren Burton
Dept of EE and CS
Univ of Colorado at Denver
Better yet, can you point me to more recent work on the use of
nondeterminism in FP? I am only interested in techniques which do
not break functional semantics. The following three references on
this topic do *not* meet this criteria:
1) "A Range of Operating Systems Written in a Purely Functional Style"
Simon B. Jones
"Computing Science Technical Report TR.16"
2) "Purely Functional Operating Systems"
Peter Henderson
in "Functional Programming and its Applications"
Darlington J., Henderson P., and Turner D.A. (eds)
Cambridge University Press, 1982
3) "Resource Managers in Functional Programming"
Arvind, and J. Dean Brock
in "Journal of Parallel and Distributed Computing" 1, 5-21 (1984)
Thanks for your help.
Forrest Bennett
[EMAIL PROTECTED]
