Abstract: This expository article discusses recent progress on the problem of giving sufficiently abstract semantics to local-variable declarations in Algol-like languages, especially work using categorical methods.
A revised version of this paper appeared in ``Applications of Categories in Computer Science'', volume 177 of the London Math Society Lecture Notes Steris, pp. 217-238, Cambridge Univ Press, 1992.
Previous | Index | Next An error occured whilst processing this directive