Page:AIM-353.djvu/38

From Wikisource
Jump to: navigation, search
This page has been validated.
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).