Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| An abstract machine based experimental system for a lazy narrowing calculus | 0 | 0.34 | 2000 |
| Real Constraints within a Functional Logic Language | 2 | 0.36 | 1996 |
| Lazy Narrowing on an Abstract Machine by Means of Examples | 0 | 0.34 | 1995 |