A Natural Semantics for Lazy Evaluation

John Launchbury. A Natural Semantics for Lazy Evaluation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 144-154, 1993.

Abstract

Abstract is missing.