| |
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61.
|
| |
In RULE '02: Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming (2002), pp. 1-14.
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343.
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 472-492.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240.
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 259-270.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 129-140.
|
| |
In PEPM '91: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 26, No. 9. (September 1991), pp. 255-273.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 20, No. 4. (July 1998), pp. 724-767.
|
| |
SIGPLAN Not., Vol. 27, No. 8. (August 1992), pp. 89-98.
|
| |
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 266-278.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 100-115.
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 14-25.
|
| |
SIGPLAN Not., Vol. 23, No. 4. (April 1988), pp. 65-70.
|
| |
In SAC '04: Proceedings of the 2004 ACM symposium on Applied computing (2004), pp. 1482-1489.
|
| |
ACM Computing Surveys, Vol. 28, No. 2. (1996), pp. 318-320.
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
In Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1995), pp. 233-246.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12.
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
Commun. ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
|
| |
Commun. ACM, Vol. 24, No. 2. (February 1981), pp. 75-83.
|
| |
Commun. ACM, Vol. 10, No. 10. (October 1967), pp. 611-618.
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
Commun. ACM, Vol. 27, No. 4. (April 1984), pp. 344-346.
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17--21, 1994 (1994), pp. 472-492.
|
| |
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
