When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking (Artifact)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
DOI: 10.5281/zenodo.18370268
Cited by: 1

Abstract

Artifact for paper "When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking". reachability-arena.tar is the Docker image. artifact.zip contains the source files and README.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
25 January 2026