Partial evaluation and mixed computation, NorthHolland (1987)

by D Bjrner, A P Ershov, N D Jones
Venue:University of Texas