Tracing Lazy Functional Computations Using Redex Trails

Jan Sparud, Colin Runciman. Tracing Lazy Functional Computations Using Redex Trails. In Hugh Glaser, Pieter H. Hartel, Herbert Kuchen, editors, Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Volume 1292 of Lecture Notes in Computer Science, pages 291-308, Springer, 1997.

Abstract

Abstract is missing.