Tim: a simple, lazy abstract machine to execute supercombinators (1987)

by J Fairbairn, S Wray
Venue:In Proc of FPCA’87, LNCS 274