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).
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Formal Semantics (in collaboration w…
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Formal Semantics (in collaboration w…
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.).
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Formal Semantics (in collaboration w…
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.)
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.)
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
Shelfmark: MS. Eng. misc. b. 276/C.246
Extents: 1 file
Dates:
1972-1974
File
'Bit Streams', Oct-Nov 1972
Notes and printout.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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…
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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?'
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
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'.
Found in:
Working Papers, Notes, and Calculations
/
Oxford University Programming Resear…
/
Miscellaneous notes and drafts
Shelfmark: MS. Eng. misc. b. 276/C.258
Extents: 1 file
Dates:
n.d.