Reference [^wiki-lambda-lifting]
1982 by Thomas Johnsson.
restructures a computer program so that functions are defined independently of each other in a global scope.
two step process:
[^wiki-lambda-lifting] Lambda Lifting
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?