Creative Commons Attribution 4.0 International license
40a9fa2598abd8969a8c074ec0350a39
(Get MD5 Sum)
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy
The main paper presents λ^{1/2}_{↩}, a type system and operational semantics with 2nd-class values and delayed stack reclamation. This artifact contains a compiler implementation of the calculus in Scala Native, the code for the case studies shown in the paper, and code for reproducing the evaluation.
@Article{xhebraj_et_al:DARTS.8.2.26,
author = {Xhebraj, Anxhelo and Bra\v{c}evac, Oliver and Wei, Guannan and Rompf, Tiark},
title = {{What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)}},
pages = {26:1--26:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Xhebraj, Anxhelo and Bra\v{c}evac, Oliver and Wei, Guannan and Rompf, Tiark},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.26},
URN = {urn:nbn:de:0030-drops-162247},
doi = {10.4230/DARTS.8.2.26},
annote = {Keywords: Call stack, closures, stack allocation, memory management, 2nd-class values, capabilities, effects}
}