What If We Don\u27t Pop the Stack? The Return of 2nd-Class Values (Artifact)
- Xhebraj, Anxhelo
- Bra?evac, Oliver
- Wei, Guannan
- Rompf, Tiark
Publication date
January 2022
DOI Publisher
DARTS - Dagstuhl Artifacts Series. DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)Abstract
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
Add to ORKG