We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
Nick Benton, Andrew Kennedy, Martin Hofmann, Lenna...
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...