den
Michele Bugliesi, University of Venezia, Italy
Mooly Sagiv, Tel-Aviv University, Israel
Nick Benton, Microsoft Research, UK
Peter O'Hearn, Queen Mary, University of London, UK
Peter Sestoft, KVL and IT University Copenhagen, Denmark
Peter Stuckey, Melbourne University, Australia
Peter Thie
aard:93:Non-Determinism], and one on the notion of
referential transparency in general
[Soendergaard:90:ReferentialTransparency]. The former is still
unpublished, unfortunately, but I can send you a copy of the Tech
Report version if you wish. The latter is nitpicking at a high level,
but I think i
