Partial evaluation and mixed computation (1987)

by D BJØRNER, A P ERSHOV, N D EDS JONES
Venue:In Proceedings of the IFIP TC2 Workshop (Gammel Avernœs