The Category of Functors from State Shapes to Bottomless CPOs in Adequate for Block Structure

Abstract

We present a programming language EoA, which embodies what Reynolds has described as the ``essence of ALGOL.'' In particular, EoA allows higher-order procedures and the declaration of block structured local variables.