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

Thumbnail Image
Download
Name

MIT-LCS-TR-564.pdf

Size

2.3 MB

Format

Adobe PDF

Checksum (MD5)

2d3b7a758e48676da5e505a55e3180a0

Author(s)
Lent, Arthur Franklin
Date Issued
January 1993
Series/Report no.
MIT-LCS-TR-564
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.