Programming to StructureProgramming with AccumulatorsSimple InterpretationInterpreting FunctionsInterpreting Closures; Understanding Control (Somewhat)Understanding ControlStatic TypesAn Aspect Language for DatatypeParametric Polymorphism