Skip to content

The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems.

Richard Kennaway

VenueAESOP
Year1990
ProceedingsESOP

Browse the full ESOP paper archive.