Jan Sparud, Colin Runciman. Complete and Partial Redex Trails of Functional Computations. In Chris Clack, Kevin Hammond, Antony J. T. Davie, editors, Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers. Volume 1467 of Lecture Notes in Computer Science, pages 160-177, Springer, 1997. [doi]
Abstract is missing.