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'.
MS. Landin 14
Bodleian Libraries, University of Oxford
Description
From Bodleian Archives & Manuscripts
This is an extract only. For more information, see the catalogue record in Bodleian Archives & Manuscripts.
Bodleian Archives & Manuscripts contains descriptions of the Bodleian Libraries’ archival collections, including post-1500 manuscripts. Some manuscripts with records in other catalogues are also described here as part of a description of a larger archive. Learn more.
Title
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'.
Shelfmark
MS. Landin 14
Summary
(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 paper on Programming Language Design, Queen Mary College, spring 1968
tentative notes on the language described in Amsterdam Mathematisch Centrum MR93 (chapter 3 is missing) plus extract of early draft manual [?]
(folder 2) comprises 'Programming Without Imperatives - an example', with some communication
(folder 3) 'Early Bootstrapping' relating to a proposal for bootstrapping with a Lambdacom interpreter - writing a program with a Lambdacom Interpreter.
Date
Jan 1959-spring 1968, n.d.
Language
English
Physical extent
1 box (3 folders)
View full record in Bodleian Archives & Manuscripts
Collection contents
Archive of Peter Landin, computer scientist, academic and gay rights campaigner
Drafts, unpublished and published works
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'.
