Proceedings of IFIP Congress 65. Information Processing 1965. Volume 1 and 2. Editor Wayne A. Kalenich. Proceedings of IFIP Congress 65. Information Processing 1965. Volume 1 and 2. Editor Wayne A. Kalenich.
1 item Proceedings of the National Physical Laboratory Symposium 'Mechanisation of Thought Processes' Volume 2
Final Draft Report on the Algorithmic Language ALGOL 68. A. van Wijngaarden, Amsterdam, December 1968. Final Draft Report on the Algorithmic Language ALGOL 68. A. van Wijngaarden, Amsterdam, December 1968.
1 item Proceedings of National Physical Labroatory Synosium 'Mechanisation of Thought Processes' Volume 1
Evaluation of ALGOL 68 as a data processing language. Evaluation of ALGOL 68 as a data processing language.
Ferranti. The Manchester Universal Electronic Computer. August 1952. Ferranti. The Manchester Universal Electronic Computer. August 1952.
Reprint of Information Processing 1962. Proceedings of IFIP Congress 62. Munich August 27 to September 1, 1962. Reprint of Information Processing 1962. Proceedings of IFIP Congress 62. Munich August 27 to September 1, 1962.
Folder: SPECTR for Elliott 4120. Computer print outs 1970. Folder: Programming Research Group 1969-70. containing Marconi automation, Display Touch Wires X2500 brochure, X2000 Display Systems brochure and Video Data Terminals DATA 4000 brochure. PDP-11 Paper Tape Software Programming Handbook DEC-11-GGPA-D, Digital Equipment Corporation, Massachusetts. Folder: Elliott 803 ALGOL Compiler. Contains, 803 ALGOL. Description of 803 Library Program A104. Elliott Brothers (London) Ltd. The Elliott ALGOL Programming System, CS 122a. August 1961. The Elliott 803 ALGOL Operating Procedure, June 1962. The Elliott 803 Programmer's Guide, June 1962. The Elliott 803, Specification, June 1962. Notes on the Elliott 503 Autocode, July 1961. Folder: Elliott 4100, Programming Information. Material relating to computer programming
PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962. PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962.
Explicit Definitions and Linguistic Dominoes by Saul Gorn. Pages 77-115. Explicit Definitions and Linguistic Dominoes by Saul Gorn. Pages 77-115.
. Notes on Laboratory work in Electronics by M. Woodger starting with Turing, 1947-1950, 93 documents.
Papers relating to the development of Iliffe's Basic Language Machine Papers relating to the development of Iliffe's Basic Language Machine
Folder: BURGE. Paper: The structure of the programming language PL/1 by William H. Burge, Univac Division of Sperry Rand Corporation, New York, July 1965. Paper: A programming machine by William H. Burge. Paper: Gipsy, stacks and automatic syntactic analysis by W.H. Burge. Paper: The evaluation, classification and interpretation of expressions by W.H. Burge. Paper: Sorting, Trees, and Measures of Order by W.H. Burge. Reprinted from Information and Control, Volume 1, No. 3, September 1958. 181-197. Paper: Combinatory programming and combinatorial analysis by W.H. Burge. Folder: Applicative Expressions - Landin. Paper: A correspondence between ALGOL 60 and Church's Lambda-Notation: Part I. by P. J. Landin. Paper: A formal description of ALGOL 60 by P.J. Landin. Paper: A generalization of jumps and labels by Peter J. Landin. Paper: An analysis of assignments in programming languages by P.J. Landin. Paper: a parser for ISWIM by P.J. Landin. Paper: The grammar of ISWIM by P. Landin. Paper: Getting rid of labels by P.J. Landin. Paper: Programming without imperatives - an example by Peter J. Landin. Folder entitled Burge
Christopher Strachey (1916-1975) A Biographical Note by Martin Campbell-Kelly, Department of Computer Science, University of Warwick. Christopher Strachey (1916-1975) A Biographical Note by Martin Campbell-Kelly, Department of Computer Science, University of Warwick.
The Numerical Solution of Non-Singular Linear Integral Equations. Philosophical Transactions Series A. Mathematical and Physical Sciences. No 902 vol. 245 pp. 501-534. February 1953. The Numerical Solution of Non-Singular Linear Integral Equations. Philosophical Transactions Series A. Mathematical and Physical Sciences. No 902 vol. 245 pp. 501-534. February 1953.
The Orthomorthic Projection of the Spheroid by M. Hotine. Empire Survey Review. No. 62, 1946. Vol. VIII. The Orthomorthic Projection of the Spheroid by M. Hotine. Empire Survey Review. No. 62, 1946. Vol. VIII.
A Type-Theoretical Alternative to CUCH, ISWIM, OWHY by Dana Scott. Pp, 40. Oxford. October 1969. A Type-Theoretical Alternative to CUCH, ISWIM, OWHY by Dana Scott. Pp, 40. Oxford. October 1969.
Computing Laboratory Technical Report No. 90: The Colossus by B. Randell. Computing Laboratory Technical Report No. 90: The Colossus by B. Randell.
Automatic Programming. Present Status and Future Trends by Dr. Grace Murray Hopper. 1958. Automatic Programming. Present Status and Future Trends by Dr. Grace Murray Hopper. 1958.
PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962. In Italian. PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962. In Italian.
Constraint Analysis of Many-Dimensional Relations by W. Ross Ashby. September 1965. Constraint Analysis of Many-Dimensional Relations by W. Ross Ashby. September 1965.
. Poster: Digital Computer Museum, Marlboro, Massachusetts. Lecture 'The Pilot Ace' designed by Alan Turing
GARGOYLE, A Language for Compiler Writing, Jan V. Garwick. Volume 7/ Number 1/ January 1964. GARGOYLE, A Language for Compiler Writing, Jan V. Garwick. Volume 7/ Number 1/ January 1964.
Guide to Computing Documentation. Doc A2. September 1972. Guide to Computing Documentation. Doc A2. September 1972.
Prague meeting of IFIP Congress 65 Program Committee. Prague meeting of IFIP Congress 65 Program Committee.
