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

Cached

Download Links

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