[CODE] POPL24 Artifact for Soundly Handling Linearity

  • Wenhao Tang (Creator)

Dataset

Description

This artifact contains the implementation of the extension of Links with control-flow linearity as described in Section 4 of the paper: Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris, "Soundly Handling Linearity", Proc. ACM Program. Lang. 8(POPL), 2024.

Data Citation

Wenhao Tang. (2023). POPL24 Artifact for Soundly Handling Linearity (v1.0.0). Zenodo. https://doi.org/10.5281/zenodo.10120126
Date made available13 Nov 2023
PublisherZenodo

Cite this