| Письмо, Ф. Нильсон->А.П. Ершов, 03.06.1987 Текст доклада "A formal type system for comparing partial evaluators" выслан.
Письмо, 25.06.1987о предстоящей встрече для отбора статей на коллоквиум; просьба заполнить оценочные формы по каждой статье и прислать их в секретариат.
Список, 24.06.1987статей, заявленных на коллоквиум по частичным и смешанным вычислениям.
Телеграмма, К. Тэлкотт->А.П. Ершов, 22.06.1987Статья для коллоквиума выслана экспресс-почтой.
Письмо, Й. Футамура->А.П. Ершов, 10.06.1987о желании представить на коллоквиум свой доклад "Generalized partial computation".
Письмо, А. Бондорф->А.П. Ершов, 15.06.1987Статья "Towards a self-applicable partial evaluator for term rewriting systems" послана.
Письмо, Т. Могенсен->А.П. Ершов, 16.06.1987Сообщает, что статья "Partially known structures in a self-applicable partial evaluator" послана.
Письмо, Х. Фуджита->А.П. Ершов, 07.08.1987Три доклада адресату отправлены.
Письмо, Д. Хьюс->А.П. Ершов, 08.06.1987Текст доклада "Backwards analysis of functional programs" отправлен.
Письмо, П. О'Киф->А.П. Ершов, 07.08.1987о желании представить на коллоквиум свой доклад.
Письмо, К. Тэлкотт->Оргкомитет..., 24.06.1987Текст доклада "Partial evaluation, higher order abstractions, and reflection principles as system building tools" отправлен.
Письмо, П. Сестофт->А.П. Ершов, 16.06.1987о желании представить на коллоквиуме свой доклад "Automatic call unfolding in a partial evaluator".
Письмо, Ю.-Дж. Хсу->А.П. Ершов, 16.06.1987Текст доклада "Incremental compilation by partial evaluation" отправлен.
Записка, автор не установлен->А.П. Ершов, 03.06.1987Текст доклада послан.
Уведомление, 07.08.1987курьерской службы о том, что в адрес СО АН СССР отправлена срочная корреспонденция, прибывшая из США и Японии.
Уведомление, 24.06.1987курьерской службы о том, что на имя А.П. Ершова отправлена срочная корреспонденция, прибывшая из США.
Библиография, 19.06.1987трудов по частичным вычислениям.
Накладная, 24.06.1987о перевозке срочной документации.
Письмо, Дж. Ланчбери->А.П. Ершов, 15.06.1987о желании представить на коллоквиум свой доклад "Projections for specialisation".
Письмо, В. Ю. Сазонов->Д. Бьорнер, 10.08.1987Текст доклада "Lambda-calculus, assignment operator and denotational semantics" послан.
1
2
3
4
5
6
7
8
9
По порядку | По алфавиту | По дате |
