'A theory of programming language semantics'
MS. Eng. misc. b. 294/F.65
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
'A theory of programming language semantics'
Shelfmark
MS. Eng. misc. b. 294/F.65
Summary
This work was submitted as a joint entry by Robert E. Milne and Strachey for the Adams Prize Essay of the University of Cambridge (closing date for entries 31 December 1974).
Manuscript draft for the Adams Essay, including abstracts, contents list, etc. almost all in Strachey's hand, with some notes by Milne and others. Various dates, mainly October-December 1974.
After their subsequent collaboration for the Adams Prize, Strachey devoted much of the last months of his life to preparing the manuscript for publication, but died in May 1975 with the task incomplete. Milne rewrote and completed the work, which was published as A Theory of Programming Language Semantics by Robert Milne and Christopher Strachey, Chapman and Hall, 1976.
Date
1974
Language
English
Physical extent
1 file
View full record in Bodleian Archives & Manuscripts
Collection contents
Papers and correspondence of Christopher Strachey
Publications, Reviews, Reports & Papers
'A theory of programming language semantics'
