Skip to main content

Drafts, unpublished and published works, Jan 1959-Dec 1996, n.d.

 Series

  • How to
    request

Comprises the following papers related to Landin's published and draft works, which includes reports, journal articles and papers given at conferences:
  1. working copies
  2. annotated drafts
  3. proofs and galleys
  4. master copies
  5. circulations and distribution lists
  6. incoming requests for papers
  7. reprints and revised versions
  8. correspondence relating to submissions, edits, and the work in general
  9. corrections and notes relating to what Landin terms as 'errors and oversights'
  10. general notes.

The works the papers are related to are as follows:
  1. 'The mechanical evaluation of expressions' The Computer Journal 6 (4) Jan 1964 pp.308-320
  2. 'A Correspondence between ALGOL 60 and Church's Lambda-notation' parts I-II Communications of the ACM 8 (2-3), 1965, pp. 89-101, 158-165
  3. 'A Formal description of ALGOL 60' presented at the International Federation for Information Processing (IFIP) conference, Baden, Sep 1964 and later published in Formal language description languages for computer programming: proceedings of the IFIP Working Conference on Formal Language Description Languages 1966, North Holland pub. co.
  4. 'Lambda-calculus Approach' published for chapter 7 of Fox, L. (1966) Advances in programming and non-numerical computation Oxford: Pergamon. Leslie Fox's volume is the publication of lectures given at the 1963 Oxford summer school, sponsored by Oxford University Computing Laboratory and organised by Christopher Strachey, Fox and S Gill.
  5. 'The Next 700 Programming Languages' Communications of the ACM, 9 (3), Mar 1966, pp.157-164
  6. 'Programs and their Proofs: an Algebraic Approach' (1968), co-authored with Rod Burstall and published in Machine Intelligence 4, 1969, ed. Donald Michie, Edinburgh University
  7. 'An Abstract Machine for the designers of Computer Languages', proceedings of the IFIP conference 1965, 1966 (2) Spartan
  8. 'Histories of Discoveries of Continuations: Belles Lettres with Equivocal Tenses' In O. Davy, ed. ACM SIGPLAN Workshop on continuations, no. NS-96-13 in BRICS Notes series, 1997
  9. 'Generalization of Jumps and Labels', technical report for Univac Systems Programming Research department, disseminated 1965 and reprinted 1998.

The papers also relate to the following technical reports, produced by Landin as part of his work for Systems Programming Research Department, Univac:
  1. 'Programming Without Imperatives - an example', 1965 and 1966 reprint
  2. 'String Manipulations in ISWIM - some examples'
  3. 'Grammar of Languages that use Indentation'
  4. 'A Dynamic Storage Allocation and Recovery Scheme for the 1107', Jan 1965
  5. 'Grammar of ISWIM', Oct 1965
  6. 'A Parser for ISWIM', Feb 1966

Dates

  • Creation: Jan 1959-Dec 1996, n.d.

Language of Materials

  • English

Full range of shelfmarks:

MSS. Landin 12-14, 75-80, 143, 146

Additional Description

Arrangement

Landin's original order has been retained, whereby papers relating to drafts and publications were grouped together in a few separate boxes across his collection. This has been preserved.

Repository Details

Repository Details

Part of the Bodleian Libraries Repository

https://www.bodleian.ox.ac.uk/weston
Contact:
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom

Powered by ArchivesSpace | Accessibility | Privacy Policy | Terms of use | New additions | Contact us