Partial evaluation and mixed computation (1987)

by Bj rner, D Ershov, A P, N D Jones