Tracing lazy functional computations using redex trails

J. Sparud, C. Runciman

Research output: Contribution to conference › Paper

Original languageUndefined/Unknown
Pages291--308
Publication statusPublished - 1997

Cite this