| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240.
|
| |
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.
|
| |
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.
|
| |
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 Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
Search
