Complete and partial redex trails of functional computations (1997)

by Jan Sparud, Colin Runciman
Venue:Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages (IFL’97