Documents associated with Neil D. Jones

Announcement
of the Conference with the list of topics and Program Committee members
Letter, A.P. Ershov->E. P. Velikhov
with a request to include invitations of Bjorner and Jones in the plan of scientific communications of USSR AS
Badges
of some Workshop participants
Letter, A.P. Ershov->E. P. Velikhov
Miscellany, N. D. Jones->A.P. Ershov, 19.09.1983-25.09.1983
1) Sales checks. 2) Entrance tickets. 3) Bar tickets. 4) A card for Teletel mail box. 5) A message of Neil Jones to A.Ershov. 6) A card of "NASA electronique". 7) Handwritten notes.
Letter, 20.10.1986
First announcement and other materials on the Workshop
Paper, 06.02.1987
"Challenging problems in PE&MC" by Neil D. Jones (with a hand-written part)
Letter, 19.02.1987
about Ershov's suggestions concerning paper refereeing and selection
Letter, N. D. Jones->A.P. Ershov, 20.02.1987
with a request to make a list of "challenging problems" in mixed computation and partial evaluation, his own list is enclosed
A paper, 20.03.1987
from the "Computing" journal devoted to the theory of partial evaluation that refers to Ershov's lecture at the Workshop
Abstract (hand-written), 21.10.1987
of Jones' talk on challenging problems in PE&MC
Abstract (hand-written), 22.10.1987
of Jones' talk "Binding time analysis for polyvariant mixed computation"
Notes (hand-written), 22.10.1987-23.10.1987
first notes during the panel discussion
Review, 11.11.1987
of the paper "Automatic Program Specialization: a Re-Examination from Basic Principles" by Neil Jones.
Letter on a Form, S. Smit->A. Rasmussen, 17.11.1987
The author thanks for the letter of 11th Novemberand the enclosed addresses of the authors. She wants to know the date she can expect to receive the complete manuscripts for publication.
Telegram, A.P. Ershov->D. Bjorner, 30.12.1987
about approval of Bjorner&Jones invitation
Telegram, A.P. Ershov->D. Bjorner, 30.12.1987
The author informs that Academician E.Velikhov has approved the invitations of D.Bjorner and N.D.Jones. Formal letters will follow. (Handwritten text.)
Letter on Form (handwriten), 02.02.1988(?)
A request by Neil D. Jones to send papers on mixed computation.
Letter on a Form, S. Smit->D. Bjorner, 26.04.1988
The author informs of change of the deadline for a publication of the proceedings on Partial Evaluation and Mixed Computation. The copy of this letter is sent to A.Ershov.
Letter, A.P. Ershov->P. Sestoft, 16.05.1988
The author answers to the letter of April 27 and informs of planning of the addressee's and other scientists' visit to the USSR the next year. (Handwritten text)

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