| Steele and Sussman | March 10, 1976 | 36 | LAMBDA: The Ultimate Imperative |
Bibliography
[BLISS 70]
BLISS Reference Manual. Computer Science Dept. Report. Carnegie-Mellon U. (Pittsburgh, January 1970)
[Barron 63]
Barron, D.W., et al. "The Main Features of CPL." The Computer Journal, Vol. 6, 1963, p. 134.
[Buxton 66]
Buxton, Gray, Park, and Strachey. CPL working Papers. U. of London Institute of Computer Science (1966).
[Church 41]
Church, Alonzo. The Calculi of Lambda Conversion. Annals of Mathematics Studies Number 6. Princeton University Press (Princeton, 1941). Reprinted by Klaus Reprint Corp. (New York, 1965).
[Dijkstra 68]
Dijkstra, Edsger W. "GOTO statement considered harmful." Letter to the Editor. Comm. ACM 11, 3 (March 1968).
[Fischer 72]
Fischer, Michael J. "Lambda Calculus Schemata." Proceedings of ACM Conference on Proving Assertions about Programs. SIGPLAN Notices (January 1972).
[Friedman 75]
Friedman, Daniel P., and Wise, David S. CONS Should Not Evaluate Its Arguments. Technical Report 44. Indiana U. Computer Science Dept. (Bloomington, November 1975).
[Galley 75]
Galley, S.W. and Pfister, Greg. The MDL Language. Programming Technology Division Document SYS.11.01. Project MAC, MIT (Cambridge, November 1975).
[Henderson 75]
Henderson, Peter, and Morris, James H. Jr. "A Lazy Evaluator." SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1976).
[Hewitt 74]
Hewitt, Carl, et al. "Behavioral Semantics of Non-recursive Control Structures." Proc. Collogue sur la Programmation. Lecture Notes in Computer Science No. 19. Springer-Verlag (1974).
