to A.P. Ershov, submission of the paper "A formal type system for comparing partial evaluators" to the program of the Workshop

information about and invitation to the Paper Selection Meeting

submitted for the Workshop on Partial and Mixed Computation

a paper submitted for the Workshop has been sent by express mail

to A.P. Ershov, submission of the paper "Generalized Partial Computation" to the program of the Workshop

to A.P. Ershov, submission of the paper "Towards a Self-applicable Partial Evaluator for Term Rewritting Systems" to the program of the Workshop

to A.P. Ershov, submission of the paper "Partially Known Structures in a Self-applicable Partial Evaluator" to the program of the Workshop

to A.P. Ershov, submission of three papers to the program of the Workshop

to A.P. Ershov, submission of the paper "Backward Analysis of Functional Programs" to the program of the Workshop

to A.P. Ershov, submission of a paper to the program of the Workshop

submission of a draft of the paper "Partial evaluation, higher order abstractions, and reflection principles as system building tools" to the program of the Workshop

to A.P. Ershov, submission of the paper "Automatic Call Unfolding in a Partial Evaluator" to the program of the Workshop

to A.P. Ershov, submission of the paper "Incremental Compilation by Partial Evaluation" to the program of the Workshop

to A.P. Ershov, submission of a paper to the Workshop

about correspondence from USA and Japan sent by express-mail to the Siberian Branch of USSR AS

about correspondence from USA sent by express-mail to A.P. Ershov

on Partial Evaluation

from Courier Service

to A.P. Ershov, submission of the paper "Projections for Specialisation" to the program of the Workshop

to Prof. Bjorner, submission of the paper "Lambda-calculus, assignment operator and denotational semantics" to the program of the Workshop