| |
Journal of Logic Programming, Vol. 19,20 (1994), pp. 385-441.
|
| |
|
| |
In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization (2007), pp. 34-48.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 26-37.
|
| |
In MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness (2006), pp. 82-91.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
|
| |
Journal of Functional Programming, Vol. 1, No. 3. (1991), pp. 329-366.
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 20, No. 2. (March 1998), pp. 344-387.
|
| |
Journal of Functional Programming, Vol. 4, No. 1. (1994), pp. 47-63.
|
| |
The Computer Journal, Vol. 35, No. 2. (1992), pp. 170-176.
|
| |
|
| |
|
| |
In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 129-140.
|
| |
Soft\-waredash Prac\-tice and Experience, Vol. 29, No. 7. (1999), pp. 617-645.
|
| |
Lecture Notes in Computer Science, Vol. 1490 (1998), pp. 335-??.
|
| |
|
| |
|
| |
|
| |
In LISP and Functional Programming (1984), pp. 208-217.
|