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

Cached

Download Links

by Bern Martens , John Gallagher
Citations:60 - 14 self