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

by C Runciman, I Toyn
Venue:New Generation Computing