Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Olivier Danvy, Ulrik Pagh Schultz. Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. In PEPM. pages 90-106, 1997. [doi]

Abstract

Abstract is missing.