Game Semantics for Good General References

  title={Game Semantics for Good General References},
  author={Andrzej S. Murawski and Nikos Tzevelekos},
  journal={2011 IEEE 26th Annual Symposium on Logic in Computer Science},
We present a new fully abstract and effectively presentable denotational model for RefML, a paradigmatic higher-order programming language combining call-by-value evaluation and general references in the style of ML. Our model is built using game semantics. In contrast to the previous model by Abramsky, Honda and McCusker, it provides a faithful account of reference types, and the full abstraction result does not rely on the availability of spurious constructs of reference type (bad variables… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…