S. Abramsky, K. Honda & G. McCusker (1998):
A fully abstract games semantics for general references.
In: Proceedings of the 13th Annual Symposium on Logic In Computer Science, LICS '98.
IEEE Press,
doi:10.1109/LICS.1998.705669.
S. Abramsky & G. McCusker (1998):
Call-by-value Games.
In: M. Neilsen & W. Thomas: Proceedings of CSL '97.
Springer-Verlag,
pp. 1–17,
doi:10.1007/BFb0028004.
C. Gunter, D. Rémy, and J. Riecke (1995):
A generalization of exceptions and control in ML like languages.
In: Proceedings of the ACM Conference on Functional Programming and Computer Architecture,
pp. 12–23,
doi:10.1145/224164.224173.
J. M. E. Hyland, P. B. Levy, G. D. Plotkin & J. Power (2007):
Combining Algebraic effects with continuations.
Theoretical Computer Science 375(1-3),
pp. 20–40,
doi:10.1016/j.tcs2006.12.026.
J. Laird (1997):
Full abstraction for functional languages with control.
In: Proceedings of the Twelfth International Symposium on Logic In Computer Science, LICS '97.
IEEE Computer Society Press,
doi:10.1109/LICS.1997.614931.
J. Laird (1998):
A Semantic Analysis of Control.
Department of Computer Science, University of Edinburgh.
J. Laird (2001):
A fully abstract game semantics of local exceptions.
In: Proceedings of LICS '01.
IEEE Computer Society Press,
doi:10.1109/LICS.2001.932487.
J. Laird (2002):
Exceptions, Continuations and Macro-expressiveness.
In: Proceedings of ESOP '02,
LNCS 2305.
Springer,
doi:10.1007/3-540-54927-8_10.
P. Malacaria and C. Hankin (1998):
Generalised Flowcharts and Games.
In: Proceedings of the 25th International Colloquium on Automata, Langugages and Programming,
doi:10.1007/BFb0055067.
G. McCusker (1996):
Games and full abstraction for a functional metalanguage with recursive types.
Imperial College London.
Published by Cambridge University Press.
E. Moggi (1988):
Computational Lambda-Calculus and monads.
Technical Report ECS-LFCS-88-66.
University of Edinburgh Department of Computer Science.
Nikos Tzevelekos (2008):
Full abstraction for nominal exceptions.
Proc. Games and Logic in Programming Languages.