Trace semantics for polymorphic references

View/Open
Pagination
585 - 594
DOI
10.1145/2933575.2934509
Metadata
Show full item record
Authors
Jaber, G; Tzevelekos, N; ACM
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/13081
Collections
Licence information
This is a pre-copyedited, author-produced version of an article accepted for publication in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science following peer review. The version of record is available http://dl.acm.org/citation.cfm?id=2934509
Copyright statements
Copyright 2016 held by Owner/Author. Publication Rights Licensed to ACM. Copyright © 2016 ACM