A Natural Semantics for Lazy Evalation
収録刊行物
-
- Proc.2lst ACM Symposium on Principles of Programming Languages
-
Proc.2lst ACM Symposium on Principles of Programming Languages 144-154, 1993