论文信息 - Christopher Strachey—Understanding Programming Languages - 字舞流文

Christopher Strachey—Understanding Programming Languages

Rod M. Burstall | R. Burstall

[1] Harry G. Barrow,et al. A Versatile System for Computer-Controlled Assembly , 1975, Artif. Intell..

[2] Christopher Strachey,et al. System Analysis and Programming , 1966 .

[3] Rod M. Burstall,et al. Programming in POP-2 , 1971 .

[4] P. J. Landin. The Mechanical Evaluation of Expressions , 1964, Comput. J..

[5] Robert S. Boyer,et al. Proving Theorems about LISP Functions , 1973, JACM.

[6] R. M. Fano,et al. Time-Sharing on Computers , 1966 .

[7] P. J. Landin,et al. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.