The Category of Functors from State Shapes to Bottomless CPOs in Adequate for Block Structure
Author(s)
Lent, Arthur Franklin
DownloadMIT-LCS-TR-564.pdf (2.296Mb)
Metadata
Show full item recordAbstract
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.
Date issued
1993-01Series/Report no.
MIT-LCS-TR-564