TY - JOUR AU - Darlington,J AU - Guo,YK EP - 108 PY - 1989/// SP - 92 TI - Narrowing and unification in functional programmingan evaluation mechanism for absolute set abstraction T2 - Rewriting Techniques and Applications ER -