Skip to main content

'CPL Compiler - Canonical Variables', 1963

MS. Eng. misc. b. 271/C.166
Held at the Weston Library

  • Request

Folder of notes and narratives, mainly June-August 1963. Includes:

  1. 'Canonicalization of Variables', 5-page manuscript and 4-page typescript draft by Strachey, 5 July 1963.
  2. 'Canonicalization of Variables', typescript and manuscript drafts by Strachey and JBH, 6 August 1963.
  3. Note on 'space allocation for CV fns.' and 'FULs', 2 pages, 1 July 1963.
  4. 'Examples of CV reduction', 9-page manuscript with 'Condensation', 3-page manuscript
  5. 'Translation Environment', set of manuscript notes (pages not numbered).
  6. 'Formats for CV functions', 2 manuscript pages, 29 June 1963.
  7. Miscellaneous manuscript notes (some dated 23 and 29 June 1963).


  • Creation: 1963


1 file

Language of Materials

  • English


MS. Eng. misc. b. 271/C.166

Former reference:

CSAC 71.1.80/C.166

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom