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

by I Toyn, C Runciman
Venue:Department of Computer Science, Princeton University