Virtual Machine Concept
Stop thinking of components as program steps
Programs not as input-output transformations but as generally useful extended “machines”
Extended machines have new data types and corresponding operations to act upon them
Not all in one step, but by layers of extension