Lazy conditional narrowing calculi and their implementation
Mohamed Esmail Ali Hamada · Institutional Repositories DataBase (IRDB) · 2007
Functional programming languages [80, 2, 7], based on λ-calculus [3, 12] and reduction, have properties such as deterministic evaluation and lazy evaluation. On the other hand they lack some desirable properties such as existentially quantified variables and partial data structures. ...