Functor Categories and Store Shapes

An intuitive grasp of the nature of variable declarations and of what is happening as one enters and exits from blocks is essential to programming in an Algol-like language. However, a precise semantic description of the constructs involved is difficult, and it is particularly difficult if one wants semantics for block structure that mesh elegantly with semantics for procedures.