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...
| 主要な著者: | , |
|---|---|
| フォーマット: | Conference item |
| 出版事項: |
Melbourne
1996
|