On-line and o-line partial evaluation: Semantics specications and correctness proofs (1993)

by C Consel, S Khoo
Venue:J. Func. Prog