Page:AIM-353.djvu/38



[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). <section end="Galley 75"/> <section begin="Henderson 76"/>[Henderson 7576 [sic]] Henderson, Peter, and Morris, James H. Jr. "A Lazy Evaluator." SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1976). <section end="Henderson 76"/> <section begin="Hewitt 74"/>[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).<section end="Hewitt 74"/>