Toyn, Ian; Runciman, Colin Adapting combinator and SECD machines to display snapshots of functional computations. (English) Zbl 0603.68003 New Generation Comput. 4, 339-363 (1986). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{I. Toyn} and \textit{C. Runciman}, New Generation Comput. 4, 339--363 (1986; Zbl 0603.68003) Full Text: DOI
Noshita, Kohei; Hikita, Teruo The BC-chain method for representing combinators in linear space. (English) Zbl 0594.68034 New Generation Comput. 3, 131-144 (1985). MSC: 68Q65 68Q25 68N01 03B40 PDFBibTeX XMLCite \textit{K. Noshita} and \textit{T. Hikita}, New Generation Comput. 3, 131--144 (1985; Zbl 0594.68034) Full Text: DOI