1.Previous
3.Next

parameters from the stack.

See also

* CEK Machine
* Krivine machine

References

Further reading

* Danvy, Olivier. . BRICS research report RS-04-30, 2004. ISSN 0909-0878
* Field, Anthony J. Field and Peter G. Harrison. 1988 Functional Programming. Addison-Wesley.
* Graham, Brian T. 1992 "The SECD Microprocessor: A Verification Case Study". Springer.
* Kogge,

1.Previous
3.Next