DARTS.8.2.26.pdf
- Filesize: 492 kB
- 2 pages
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.
Feedback for Dagstuhl Publishing