world as value

[Manfred Schmidt-Schauss]

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