An edition of Partial evaluation and mixed computation (1988)

Partial Evaluation and Mixed Computation

Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark,

By IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark),Dines Bjorner,Andrei Petrovich Ershov