A syntactic theory of sequential state
- 18 December 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 69 (3) , 243-287
- https://doi.org/10.1016/0304-3975(89)90069-8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- Circular expressions: elimination of static environmentsScience of Computer Programming, 1982
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Definitional interpreters for higher-order programming languagesPublished by Association for Computing Machinery (ACM) ,1972
- The next 700 programming languagesCommunications of the ACM, 1966
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964