Show simple item record

dc.contributor.authorJaber, Gen_US
dc.contributor.authorTzevelekos, Nen_US
dc.contributor.authorACMen_US
dc.date.accessioned2016-06-24T14:54:03Z
dc.date.available2016-04-04en_US
dc.date.issued2016en_US
dc.date.submitted2016-06-21T12:45:10.877Z
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/13081
dc.description.sponsorshipResearch supported by the Engineering and Physical Sciences Research Council (EP/L022478/1) and the Royal Academy of Engineering.en_US
dc.format.extent585 - 594en_US
dc.rightsThis 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.titleTrace semantics for polymorphic referencesen_US
dc.typeConference Proceeding
dc.rights.holderCopyright 2016 held by Owner/Author. Publication Rights Licensed to ACM. Copyright © 2016 ACM
dc.identifier.doi10.1145/2933575.2934509en_US
pubs.author-urlhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000387609200059&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.notesNot knownen_US
pubs.publication-statusPublisheden_US
qmul.funderProgram Reasoning with Nominal Game Semantics::Engineering and Physical Sciences Research Councilen_US
qmul.funderProgram Reasoning with Nominal Game Semantics::Engineering and Physical Sciences Research Councilen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record