Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
Preparation for the Workshop
Covering letter
Covering letter
to A.P. Ershov, submission of the paper "A formal type system for comparing partial evaluators" to the program of the Workshop
Date: 03.06.1987
Original document language: English
Authors: Flemming Nielson
Addressee: Andrei Petrovich Ershov

Images of pages:
1


Back
Next document (Note (hand-written))
Previous document (Covering letter)

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