Experiments with partial evaluation domains for rewrite specifications (1995)

by Reinhard Bundgen, Werner Lauterbach
Venue:In Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl, editors, Recent Trends in Data Type Specifications (LNCS 1130