Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance

Bern Martens, John Gallagher

Research output: Working paper

Translated title of the contributionEnsuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
Original languageEnglish
PublisherUniversity of Bristol
Number of pages27
Publication statusPublished - 1994

Bibliographical note

Other: CSTR-94-016

Cite this