The revised report on the syntactic theories of sequential control and state
- 1 September 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 103 (2) , 235-271
- https://doi.org/10.1016/0304-3975(92)90014-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A syntactic theory of sequential stateTheoretical Computer Science, 1989
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- Revised 3 report on the algorithmic language schemeACM SIGPLAN Notices, 1986
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- The next 700 programming languagesCommunications of the ACM, 1966
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964