Loops in Algol 60 and in category theory
- 1 October 1974
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGACT News
- Vol. 6 (4) , 21-23
- https://doi.org/10.1145/1008318.1008320
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Proving a compiler correct: A simple approachJournal of Computer and System Sciences, 1975
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963