Complete and Partial Redex Trails of Functional Computations

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]

Authors

Jan Sparud

This author has not been identified. Look up 'Jan Sparud' in Google

Colin Runciman

This author has not been identified. Look up 'Colin Runciman' in Google