dc.contributor.author | Jaber, G | en_US |
dc.contributor.author | Tzevelekos, N | en_US |
dc.contributor.author | ACM | en_US |
dc.date.accessioned | 2016-06-24T14:54:03Z | |
dc.date.available | 2016-04-04 | en_US |
dc.date.issued | 2016 | en_US |
dc.date.submitted | 2016-06-21T12:45:10.877Z | |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/13081 | |
dc.description.sponsorship | Research supported by the Engineering and Physical Sciences Research Council (EP/L022478/1) and the Royal Academy of Engineering. | en_US |
dc.format.extent | 585 - 594 | en_US |
dc.rights | 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 | |
dc.title | Trace semantics for polymorphic references | en_US |
dc.type | Conference Proceeding | |
dc.rights.holder | Copyright 2016 held by Owner/Author. Publication Rights Licensed to ACM. Copyright © 2016 ACM | |
dc.identifier.doi | 10.1145/2933575.2934509 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000387609200059&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.notes | Not known | en_US |
pubs.publication-status | Published | en_US |
qmul.funder | Game Semantics for Program Analysis::Royal Academy of Engineering | en_US |
qmul.funder | Game Semantics for Program Analysis::Royal Academy of Engineering | en_US |