Translated title of the contribution | Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance |
---|---|
Original language | English |
Publisher | University of Bristol |
Number of pages | 27 |
Publication status | Published - 1994 |
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
Bern Martens, John Gallagher
Research output: Working paper