DMCA

Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (1995)

by Bern Martens , John Gallagher
Citations:64 - 16 self