| |
|
| |
In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001)
|
| |
|
| |
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97.
|
| |
Theor. Comput. Sci., Vol. 323, No. 1-3. (2004), pp. 473-497.
|
| |
In PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (2004), pp. 108-119.
|
| |
Inf. Comput., Vol. 118, No. 1. (April 1995), pp. 128-141.
|
| |
Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257.
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 458-471.
|
| |
J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 905-923.
|
| |
J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 867-904.
|
| |
In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8.
|
| |
J. Autom. Reason., Vol. 23, No. 3. (November 1999), pp. 373-409.
|
| |
ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
J. Funct. Program., Vol. 10, No. 2. (March 2000), pp. 137-166.
|
| |
J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392.
|
| |
In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 356-364.
|
| |
J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
|
| |
In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12.
|
| |
ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
|
| |
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 298-307.
|
| |
Lisp and Symbolic Computation, Vol. 9, No. 2/3. (/ 1996), pp. 203-241.
|
| |
|
| |
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 31-46.
|
| |
In Formal Methods in Computer-Aided Design (1998), pp. 334-350.
|
| |
Software Engineering, Vol. 23, No. 4. (1997), pp. 203-213.
|
| |
|
| |
Journal of Logic and Computation, in print.
|
| |
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 266-277.
|
| |
In Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS'99) (1999), pp. 214-224.
|
Search
