On the relation between direct and continuation semantics
- 1 January 1974
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 141-156
- https://doi.org/10.1007/3-540-06841-4_57
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Models for Various Type-Free CalculiPublished by Elsevier ,1973
- Mathematical semantics of SNOBOL4Published by Association for Computing Machinery (ACM) ,1973
- Definitional interpreters for higher-order programming languagesPublished by Association for Computing Machinery (ACM) ,1972
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965