world as value
Manfred Schmidt-Schauss
schauss@ki.informatik.uni-frankfurt.de
Tue, 22 Jun 1999 09:39:12 +0200
Concerning IO as non-deterministic, there are some more recent
investigations on combining non-determinism with a call-by-need calculus:
@inproceedings{kutzner:98,
author = {Arne Kutzner and Manfred Schmidt-Schau{\ss}},
title = {A Nondeterministic Call-by-Need Lambda Calculus},
year = {1998},
BOOKTITLE ={International Conference on Functional Programming 1998},
PUBLISHER = {ACM Press},
SERIES = {},
NUMBER = {},
PAGES = {324--335}}
}
@InCollection{moran-sands-carlsson:98,
author = "A. K. Moran and D. Sands and M. Carlsson",
title = "Erratic {F}udgets: {A} semantic theory for an embedded
coordination language",
booktitle = "Coordination '99",
series = lncs,
volume = 1594,
publisher = SV,
year = "1999",
month = apr
}
Both papers use erratic choice and a let calculus to model sharing.
My intuition is that the world behaves non-deterministic, the
functional program deterministic, and e.g. the first reference
tries to examine the valid program transformations.
Manfred Schmidt-Schauss