Tracing Lazy Functional Languages
We argue that Ariola and Felleisen's and Maraist, Odersky and Wadler's axiomatization of the call-by-need lambda calculus forms a suitable formal basis for tracing evaluation in lazy functional languages. In particular, it allows a one-dimensional textual representation of terms, rather th...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Melbourne
1996
|