The categorical abstract machine (Q1097043)

A very simple machine called categorical abstract machine (CAM) is described where categorical terms can be considered as a code acting on a graph of values. The only saving mechanism is a stack containing pointers on code or on the graph. Further, there is discussed the implementation of functional programming languages with static binding variables, i.e. \(\lambda\)-calculus based languages.