• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    Trace semantics for polymorphic references 
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • Trace semantics for polymorphic references
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • Trace semantics for polymorphic references
    ‌
    ‌

    Browse

    All of QMROCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    ‌
    ‌

    Administrators only

    Login
    ‌
    ‌

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Trace semantics for polymorphic references

    View/Open
    Accepted version (449.8Kb)
    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
    • Electronic Engineering and Computer Science [2362]
    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
    Twitter iconFollow QMUL on Twitter
    Twitter iconFollow QM Research
    Online on twitter
    Facebook iconLike us on Facebook
    • Site Map
    • Privacy and cookies
    • Disclaimer
    • Accessibility
    • Contacts
    • Intranet
    • Current students

    Modern Slavery Statement

    Queen Mary University of London
    Mile End Road
    London E1 4NS
    Tel: +44 (0)20 7882 5555

    © Queen Mary University of London.