SECD machine

The SECD machine was introduced by Peter Landin Landin 1964. It is an abstract machine for call-by-value.

Please expand.

References

Landin, P. J. 1964. ‘The Mechanical Evaluation of Expressions’. The Computer Journal 6 (4): 308–20. https://doi.org/10.1093/comjnl/6.4.308.

@article{landin_1964,
	title = {The {Mechanical} {Evaluation} of {Expressions}},
	volume = {6},
	doi = {10.1093/comjnl/6.4.308},
	number = {4},
	journal = {The Computer Journal},
	author = {Landin, P. J.},
	year = {1964},
	pages = {308--320}
}