Skip to main content

'A theory of programming language semantics', 1974

MS. Eng. misc. b. 294/F.65
Held at the Weston Library

  • Request

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.


  • Creation: 1974


1 file

Language of Materials

  • English


MS. Eng. misc. b. 294/F.65

Former reference:

CSAC 71.1.80/F.65

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom