Abstract interpretation and partial evaluation in functional and logic programming (1994)

by N D Jones
Venue:Proc. Int. Symp. ILPS ’1994