Higher-order narrowing with definitional trees
HANUS, MICHAEL, PREHOFER, CHRISTIANVolume:
9
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796899003330
Date:
January, 1999
File:
PDF, 470 KB
english, 1999