Skip to content

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value.

Nicol Pizzo, Claudio Sacerdoti Coen

VenueCRC
Year2026
ProceedingsRC

Browse the full RC paper archive.