skip to main content
correction
Free Access

Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16

Published:19 May 2020Publication History

Abstract

No abstract available.

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM Transactions on Programming Languages and Systems
    ACM Transactions on Programming Languages and Systems  Volume 42, Issue 2
    June 2020
    286 pages
    ISSN:0164-0925
    EISSN:1558-4593
    DOI:10.1145/3395960
    Issue’s Table of Contents

    Copyright © 2020 ACM

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 19 May 2020
    • Online AM: 7 May 2020
    Published in toplas Volume 42, Issue 2

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • correction
    • Opinion
    • Refereed limited
  • Article Metrics

    • Downloads (Last 12 months)49
    • Downloads (Last 6 weeks)3

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format .

View HTML Format
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!