| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
Mathematics of Program Construction In Mathematics of Program Construction, Proceedings, Vol. 5133 (July 2008), pp. 388-403.
|
| |
Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (January 2008), pp. 13-20.
|
| |
Theory of Computing Systems, Vol. 41, No. 4. (6 December 2007), pp. 619-689.
|
| |
Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318.
|
| |
Journal of Logic and Algebraic Programming, Vol. 71, No. 2. (April 2007), pp. 79-113.
|
| |
Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305.
|
| |
J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
|
| |
In Proceedings of Functional and Logic Programming (FLOPS '99), Vol. 1722 (November 1999), pp. 114-130.
|
| |
SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 14-25.
|
| |
In Proc. of a conference on Functional programming languages and computer architecture (1987), pp. 154-173.
|
| |
|
| |
|
| |
Higher-Order and Symbolic Computation, Vol. 17, No. 1 - 2. (March 2004), pp. 129-163.
|
| |
Journal of Functional Programming, Vol. 14, No. 3. (May 2004), pp. 317-363.
|
| |
SIGPLAN Notices In 31st Symposium on Principles of Programming Languages (POPL '04), Vol. 39, No. 1. (January 2004), pp. 99-110.
|
| |
Lecture Notes in Computer Science In Eighth Asian Computing Science Conference (ASIAN '03), Vol. 2896 (December 2003), pp. 146-160.
|
| |
SIGPLAN Notices In Seventh International Conference on Functional Programming (ICFP '02), Vol. 37, No. 9. (October 2002), pp. 14-25.
|
| |
In Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM '02) (September 2002), pp. 126-137.
|
| |
Lecture Notes in Computer Science In 13th International Conference on Rewriting Techniques and Applications (RTA '02), Vol. 2378 (July 2002), pp. 222-236.
|
