1
Dynamic detection of determinism in functional logic languages.
Book
Loogen, R.
1991
2
Stack based implementation of narrowing.
Book
Loogen, R.
1990