Useful Call-by-Value: A Semantic Interpretation via Quantitative Types.

Pablo Barenbaum, Delia Kesner, Mariana Milicich

Browse the full CSL paper archive.