Secd-m: a Virtual Machine for Applicative Programming (1985)

by S Abramsky, R Sykes
Venue:Proceedings of the 1985 Conference on Functional Programming Languages and Computer Architecture. Springer-Verlag, LNCS