Documents associated with John McCarthy

Letter, A.P. Ershov->J. McCarthy, 17.03.1978
Program, 04.10.1965
of Prof. McCarthy's visit to Novosibirsk
Official Report, 10.09.1972
about the Symposium
Letter, A.P. Ershov->J. McCarthy, 06.01.1975
Account of business and personal affairs; request to get the Proceedings of the Palo Alto Symposium on programming language principles
Paper abstracts, 01.05.1973(?)
in the "BIT" journal (¹:5, 1973)in Japanese
Handwritten report, 10.09.1967
Outline of BETA language features
Letter, A.P. Ershov->E. A. Feigenbaum, 20.01.1967
Telegram (hand-written), A.P. Ershov->J. McCarthy, 24.01.1966
List, 05.08.1970(?)
of institutions and persons to be visited by Ershov during his trip
Excerpts from Articles, 01.08.1974(?)-01.10.1974
from SIGART Newsletter N47-48 discussing the letter by J.Minker urging to hold IJCAI-4 in another country or to boycott it, and reaction of prominent scientists.
List, 12.09.1986
of American colleagues informed of A.P. Ershov's visit to the USA and discussion topics
Papers of foreign participants; international discussion
F. Bauer "Programming languages from educational and professional point of view"; A. van Wijngaarden "At the border between natural and artificial languages"; P. Ingerman "Taxonomy for programming"; J. Cocke "Global instructions saving"; J. McCarthy "Current state of mathematical theory of computation"; L. Noline "ATF - an intelligent programming language"; documents on discussion "Programming in the 70-s"
Report, 22.07.1975
on the scientific trip to the USA by delegation consisting of A.P. Ershov, S.I. Samoilenko, and V.I. Briabrin
Typewritten report, 10.09.1967
Outline of BETA language features
Notes
taken during the talks with american scientists
Justification, 17.07.1965
of Prof. McCarthy's visit to the Computing Center
Note, 19.09.1967
Telegram, J. McCarthy->A.P. Ershov, 05.03.1981
Incomplete draft of Paper, 17.03.1981
The Programming Language Elephant
Item 3. (Name does not exist in this language.)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016