Adapting combinator and SECD machines to display snapshots of functional computations (1986)

by Ian Toyn, Collin Runciman
Venue:New Generation Computing