Skip to main content

Box 606733922

 Container

Contains 22 Results:

File

'Dana Scott's λ and Simplified universal domain', 1973

Copy of Scott's paper 'A simplified construction for λ-Calculus Models' delivered at Uppsala, April 1973. Extensive notes and comments on above by Strachey. 'Subsets of Pω', notes by Scott (Trinity Term 1973).
Shelfmark: MS. Eng. misc. b. 276/C.239
Extents: 1 file
Dates: 1973
File

λ-Calculus, 1973-1975

Various notes and problems on λ-Calculus, perhaps for course of lectures, annotated by Strachey, 1973. Correspondence with P. Welch 1975 regarding a problem arising from the lectures.
Shelfmark: MS. Eng. misc. b. 276/C.240
Extents: 1 file
Dates: 1973-1975
File

Research material, 1972

Folder of research material on programming languages and miscellaneous problems, by members of the P.R.G. and others, sent to Strachey or kept by him as background information. Mainly 1972. Includes reports and papers on research in progress by R. Milne, C. Wadsworth (P.R.G.); extended correspondence between D. Scott and R. Milner, 1972, on λ-Calculus and lattice structures; notes on 'Jump-free PAL' by S. Linfoot (P.R.G.).
Shelfmark: MS. Eng. misc. b. 276/C.241
Extents: 1 file
Dates: 1972
File

'An Abstract Model for Storage': A.M.S. Manuscript. 1st Draft, n.d.

Manuscript and first typed draft with manuscript corrections for the Introduction and Chapter I of a work with this title, July 1971.
Shelfmark: MS. Eng. misc. b. 276/C.242
Extents: 1 file
Dates: n.d.
File

'An Abstract Model for Storage', 1970-1971

Folder of notes, plans and calculations, some under title 'An axiomatic model of storage', a few by Scott but almost all by Strachey. Various dates June 1970-May 1971.
Shelfmark: MS. Eng. misc. b. 276/C.243
Extents: 1 file
Dates: 1970-1971
File

'Notes on "call by name" and "call by value"', c.1970-1971

Notes and papers, probably taken for, or at, discussion meeting at P.R.G., n.d. c.1970-1971.
Shelfmark: MS. Eng. misc. b. 276/C.244
Extents: 1 file
Dates: c.1970-1971
File

'OS6. Text and some notes', 1971

Notes and calculations on 'Free Store Package' and vectors, with test printouts, dated October-November 1971. These were used for P.R.G. in-house seminar on 'Style in Programming' which discussed examples of bad programming style found in the OS6 system. (Information supplied by M. Harper of P.R.G.)
Shelfmark: MS. Eng. misc. b. 276/C.245
Extents: 1 file
Dates: 1971
File

Folder for 'Bug file' and other notes, 1972-1974

The idea of the 'BUG FILE' was that all the members of the P.R.G. would analyse (and record) their program bugs so that causes of mistakes could be recognised. Unfortunately most people (including Strachey) only kept their file for a week or so, and nothing came of the idea. (Information supplied by M. Harper of P.R.G.)
Shelfmark: MS. Eng. misc. b. 276/C.246
Extents: 1 file
Dates: 1972-1974
File

'Bit Streams', Oct-Nov 1972

Notes and printout.
Shelfmark: MS. Eng. misc. b. 276/C.247
Extents: 1 file
Dates: Oct-Nov 1972
File

'Console Experiments', 1972-1974

Folder of miscellaneous material on programming and use of the P.R.G.'s computer; includes a few notes and programs by Strachey, and some notes and reports by other members of the P.R.G.
Shelfmark: MS. Eng. misc. b. 276/C.248
Extents: 1 file
Dates: 1972-1974
File

'Machine Design', 1971-1972

Notes, calculations and drafts on ideas for computer design. Includes: 'Possible I.C. Machine', 24 February 1971. 'Design of Large Computer Systems', 5-page manuscript draft, possibly a draft for a paper or a recommendation. 'Sequel to Time-sharing in Large Fast Computers' suggests that the reduction in cost of hardware means that time-sharing is no longer desirable…
Shelfmark: MS. Eng. misc. b. 276/C.249
Extents: 1 file
Dates: 1971-1972
File

Miscellaneous notes and calculations, n.d.

Miscellaneous notes and calculations, perhaps also for ideas on machine design, on 'Hops', 'Stack machine' (1972), 'Squasher Table' (for BCPL), etc.
Shelfmark: MS. Eng. misc. b. 276/C.250
Extents: 1 file
Dates: n.d.
File

'Design of new programming languages', 6 Mar 1973

Miscellaneous notes for talk or paper to answer questions 'Why? How? What for? What?'
Shelfmark: MS. Eng. misc. b. 276/C.251
Extents: 1 file
Dates: 6 Mar 1973
File

'Manifest Functions', 1973

Includes notes on 'Manifest functions' and also other notes on language design headed: 'Language I', June 1973 'Error exits from functions and routines', August 1973 'Dynamic type checking', n.d.
Shelfmark: MS. Eng. misc. b. 276/C.252
Extents: 1 file
Dates: 1973
File

Miscellaneous, 1973

Miscellaneous bundles of notes, calculations and narrative, mainly on 'Conditional Expressions', and various 'Models of Store'. Various dates, latest December 1973.
Shelfmark: MS. Eng. misc. b. 276/C.253
Extents: 1 file
Dates: 1973
File

Miscellaneous, 1973-1974

Miscellaneous narratives, notes, calculations, routines and printouts, mainly connected with an Anagram program which Strachey was developing.
Shelfmark: MS. Eng. misc. b. 276/C.254
Extents: 1 file
Dates: 1973-1974
File

Formal semantics and concepts in programming languages, June 1974

Manuscript questions and problems on formal semantics and concepts in programming languages, devised for the section 'Theory of Programming Languages' in the Honour School of Mathematics, Oxford
Shelfmark: MS. Eng. misc. b. 276/C.255
Extents: 1 file
Dates: June 1974
File

Miscellaneous, Mar 1974

Miscellaneous notes and calculations on semantics, some dated.
Shelfmark: MS. Eng. misc. b. 276/C.256
Extents: 1 file
Dates: Mar 1974
File

Miscellaneous routines and test printouts, Mar-Apr 1975

Miscellaneous routines and test printouts. Mainly for 'Recipes' program, possibly intended to test ideas on the compact storage of information, and some general P.R.G. computer documentation.
Shelfmark: MS. Eng. misc. b. 276/C.257
Extents: 1 file
Dates: Mar-Apr 1975
File

'Miscellaneous programming notes and tricks', n.d.

Folder of miscellaneous material, mainly on self-reproducing programs devised by Strachey and others in the P.R.G. Includes a sequence of notes by Strachey on 'Recursive Routines and Loops'.
Shelfmark: MS. Eng. misc. b. 276/C.258
Extents: 1 file
Dates: n.d.