Collected annotated publications
MS. Landin 30
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
Collected annotated publications
Shelfmark
MS. Landin 30
Summary
Including some relating to Landin's SECD machine, to validation of compilers, and 'Correctness of a Compiler for ALGOL-Like programs' by Donald Kaplan and George Colouris.
Date
Oct 1966-Dec 1971
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
Work papers
Collected annotated publications and collaborations
Collected annotated publications
