Box 603612371
Container
Contains 1 Result:
File
Technical report for Univac Systems Programming Research department titled 'Programming Without Imperatives - an example', various reprints and sections for other publications, and a proposal and notes for a work on 'Early Bootstrapping'., Jan 1959-spring 1968, n.d.
(folder 1) comprises:
1966 reprint of Landin's Lambda-Calculus Approach
reprint of A Correspondence between ALGOL 60 and Church's Lambda Notation
carbon copy of a summary of An Abstract Machine For Designers of Computer Languages 1965, with IFIP symposium proceedings
seminar…
Found in:
Drafts, unpublished and published works
Shelfmark: MS. Landin 14
Extents: 1 box (3 folders)
Dates:
Jan 1959-spring 1968, n.d.
