Aspects of applicative programming for file systems (Preliminary Version)
- 1 March 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 11 (2), 41-55
- https://doi.org/10.1145/390018.808310
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Recursive programming through table look-upPublished by Association for Computing Machinery (ACM) ,1976
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976
- Towards a programming apprenticeIEEE Transactions on Software Engineering, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- MonitorsCommunications of the ACM, 1974
- Programming language semantics and closed applicative languagesPublished by Association for Computing Machinery (ACM) ,1973
- The next 700 programming languagesCommunications of the ACM, 1966
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960