The Category of Functors from State Shapes to Bottomless CPOs in Adequate for Block Structure
| dc.contributor.author | Lent, Arthur Franklin | en_US |
| dc.date.accessioned | 2023-03-29T15:19:46Z | |
| dc.date.available | 2023-03-29T15:19:46Z | |
| dc.date.issued | 1993-01 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149737 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-564 | |
| dc.title | The Category of Functors from State Shapes to Bottomless CPOs in Adequate for Block Structure | en_US |
| dc.identifier.oclc | 27929913 |
