Bibliography
1.
J. Adams, National science
foundation press release 07-029. National Science Foundation Press
Releases (2007)
2.
A.V. Aho, M. Lam, R. Sethi,
J.D. Ullman, Compilers:
Principles, Techniques, and Tools , 2nd edn. (Addison-Wesley
Longman Publishing Co., Boston, 2006) MATH
3.
J. Backus, [Photograph].
Photograph provided courtesy of IBM and used with permission
(2008)
4.
E. Biagioni, A structured TCP
in standard ML, in SIGCOMM ’94:
Proceedings of the Conference on Communications Architectures,
Protocols and Applications, New York, NY, USA (ACM Press,
1994), pp. 36–45
6.
A. Colmerauer, [Photograph].
Photograph provided courtesy of Alain Colmerauer and used with his
permission (2008)
7.
A. Colmerauer, P. Roussel,
The birth of prolog, in HOPL-II:
The second ACM SIGPLAN Conference on History of Programming
Languages, New York, NY, USA (ACM, 1993), pp. 37–52
8.
R. Girvan, Partial
differential equations, Scientific-Computing.com (2006),
http://www.scientific-computing.com/review4.html
9.
M. Gordon, From LCF to HOL: a
short history (2000), pp. 169–185
10.
R. Harper, P. Lee, Advanced
languages for systems software: the Fox project in 1994. Technical
report CMU-CS-94-104, School of Computer Science, Carnegie Mellon
University, Pittsburgh, PA, January 1994. (Also published as Fox
Memorandum CMU-CS-FOX-94-01)
11.
R Kowalski, An interview
with Robert Kowalski, 2008. Details of events provided by Robert
Kowalski through an exchange of email from 12 Feb 2008 to 14 Feb
2008 (2008)
12.
R. Kowalski, [Photograph].
Photograph provided courtesy of Robert Kowalski and used with his
permission (2008)
13.
P. Linz, An Introduction to Formal Languages and
Automata (Jones and Bartlett, Sudbury, 2006) MATH
14.
J. McCarthy, [Photograph].
Photograph provided courtesy of John McCarthy and used with his
permission (2008)
15.
R. Milner, [Photograph].
Photograph provided courtesy of Robin Milner and used with his
permission (2008)
16.
R. Milner, M. Tofte, R.
Harper, D. Macqueen, The
Definition of Standard ML - Revised (The MIT Press,
Cambridge, 1997)
17.
B. Stroustrup, A history of
C++: 1979–1991 (1996), pp. 699–769
18.
B. Stroustrup, [Photograph].
Photograph provided courtesy of Bjarne Stroustrup and used with his
permission (2006)
19.
B. Stroustrup, The C++ Programming Language , 4th edn.
(Addison-Wesley Professional, Boston, 2013) MATH
21.
22.
The Web Education Community
Group: A Member of the W3C, A short history of javascript (2012),
https://www.w3.org/community/webed/wiki/A_Short_History_of_JavaScript
. Accessed 19 Mar 2017
23.
A. Turing, On computable
numbers, with an application to the entscheidungsproblem. Proc.
Lond. Math. Soc. 42 , 230–265
(1936) MathSciNetMATH
24.
A.M. Turing, A. M. Turing’s ACE Report of 1946 and Other
Papers (MIT Press, Cambridge, 1986)
25.
G. van Rossum, [Photograph].
Photograph provided courtesy of Guido van Rossum and used with
permission (2013)
26.
J. von Neumann, First draft
of a report on the EDVAC,
http://en.wikipedia.org/wiki/Von_Neumann_architecture
(1945)
27.
Wikipedia, Charles babbage
(2006). Accessed 14 Jan 2006
28.
Wikipedia, John vincent
atanasoff (2006). Accessed 14 Jan 2006
29.
Wikipedia, Prolog (2008).
Accessed 13 Feb 2008