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.
File
MS. Landin 14
Held in our offsite storage facility
(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.
Dates
- Creation: Jan 1959-spring 1968, n.d.
Extent
1 box (3 folders)
Language of Materials
- English
Shelfmark
MS. Landin 14
Repository Details
Part of the Bodleian Libraries Repository
Contact:
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk