Aspects of applicative programming for file systems (Preliminary Version)
- 1 March 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 12 (3) , 41-55
- https://doi.org/10.1145/390017.808310
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Mechanical program analysisCommunications of the ACM, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Correct and optimal implementations of recursion in a simple programming languageJournal of Computer and System Sciences, 1974
- MonitorsCommunications of the ACM, 1974
- Teaching Children to be Mathematicians Versus Teaching About MathematicsInternational Journal of Mathematical Education in Science and Technology, 1972
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- The next 700 programming languagesCommunications of the ACM, 1966
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960