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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.