A theory for program and data type specification
- 5 October 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 104 (1), 129-159
- https://doi.org/10.1016/0304-3975(92)90169-g
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- On the algebraic definition of programming languagesACM Transactions on Programming Languages and Systems, 1987
- Revised 3 report on the algorithmic language schemeACM SIGPLAN Notices, 1986
- Partial abstract typesActa Informatica, 1982
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Stream Processing FunctionsIBM Journal of Research and Development, 1975
- The next 700 programming languagesCommunications of the ACM, 1966
- 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
- Design of a separable transition-diagram compilerCommunications of the ACM, 1963