In article <> dalamb@qucis.queensu.ca (David Lamb) writes:
|Does anyone have any references for A.P.Ershov's work in the late 60's or
|early 70's on "mixed compilation", or on any modern work that fits the
|following description:

Better known as "mixed computation", or "partial evaluation". There is
a sizable body of work. A bibliography is available via anonymous ftp
as indicated in the announcement below.