Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance

Bern Martens, John Gallagher

Research output: Working paper

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

Other: CSTR-94-016

Access to Document

@techreport{7dc2176e42114aa2bc42bfc488c1c39d,

title = "Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance",

author = "Bern Martens and John Gallagher",

note = "Other: CSTR-94-016",

year = "1994",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}