On the formal description of PL/I
- 31 December 1969
- journal article
- Published by Elsevier in Annual Review in Automatic Programming
- Vol. 6, 105-182
- https://doi.org/10.1016/0066-4138(69)90005-6
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- Random-Access Stored-Program Machines, an Approach to Programming LanguagesJournal of the ACM, 1964