"How do ad-hoc compiler constructs appear in universal mixed computation processes?" (a typed copy in Russian)

a table "comp=cocom(Int)"

to specialization of recursive interpreter

a rough copy of the table "cocom=Mix_Mix"

concerned with the paper

of deriving an object code from a recursive interpreter

to specialization of a one-loop interpreter for an ALGOL-like language

of deriving an object code from a one-loop interpreter

for the talk at the Conference on Applied Logic

with information about A.P. Ershov and B.N. Ostrovsky

"On Mixed Computation: Informal Account of the Strict and Polyvariant Computational Schemes" (fair copy)

to the paper to "V mire nauki"

of guests -- representatives of the American and Soviet publishers of the journals "Scientific American" and "V mire nauki", respectively

of the paper "Correctness of mixed computation in Algol-like programs"

mixed computation; preparatory material for the first variant

a draft of the connected text of the paper "Mixed computation in the class of program recursive schemes"

rough notes about REFAL and the Ackermann function

a hand-written variant of the paper "Mixed computation in the class of program recursive schemes"