I've seen a numerous interesting abstract machines (i.e. CESK) and evaluators (diverse meta-circular S-expression evaluators, i.e. vau, COLA) and other models (concatenative, SK/Lambda calculus) which implement some novel(?) computational ideas, but almost every time each model boils down to:
Executing a stream of primitives (from a fixed set) and giving means to combine/compose them.
And the only method of composing/reusing that I've ever seen is a function CALL (aka basic form of application, i.e. without talking about environments and other complex stuff).
Are there any alternative methods/theories? Unfortunately, I couldn't find anything on scholar google.
