Technical reports
A new scheme for writing functional operating systems
William Stoye
September 1984, 30 pages
DOI: 10.48456/tr-56
Abstract
A scheme is described for writing nondeterministic programs in a functional language. The scheme is based on message passing between a number of expressions being evaluated in parallel. I suggest that it represents a significant improvement over previous methods employing a nondeterministic merge primitive, and overcomes numerous drawbacks in that approach. The scheme has been designed in a practical context, and is being used to write an operating system for SKIM, a functionally programmed machine. It is not yet well understood in a mathematical sense.
Full text
PDF (2.5 MB)
BibTeX record
@TechReport{UCAM-CL-TR-56, author = {Stoye, William}, title = {{A new scheme for writing functional operating systems}}, year = 1984, month = sep, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-56.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-56}, number = {UCAM-CL-TR-56} }