Tracing Lazy Functional Computations Using redex trails

Cached

Download Links

by Jan Sparud, Colin Runciman
Citations:30 - 6 self