Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction.

John Darlington Yike Guo Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction. 92-108 1989 conf/rta/1989 RTA db/conf/rta/rta89.html#DarlingtonG89 http://dx.doi.org/10.1007/3-540-51081-8_102