| |
In Symposium on Principles of Programming Languages (1998), pp. 289-302.
|
| |
In Proc. 1992 ACM Conf. on {LISP} and Functional Programming ({LFP}), San Francisco, California (1992), pp. 205-215.
|
| |
In Proc. ACM Conf. on Functional Programming Languages and Computer Architecture ({FPCA}), La Jolla, California (1995)
|
| |
|
| |
ACM Comput. Surv., Vol. 28, No. 2. (June 1996), pp. 358-359.
|
| |
In SAC '94: Proceedings of the 1994 ACM symposium on Applied computing (1994), pp. 420-424.
|
| |
In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 88-97.
|
| |
Science of Computer Programming, Vol. 8, No. 2. (1987), pp. 147-172.
|
| |
SIGPLAN Notices In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Vol. 26, No. 11. (1991)
|
| |
|
| |
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 308-319.
|
| |
In POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1986), pp. 38-43.
|
| |
In International Conference on Functional Programming (2001), pp. 193-204.
|
| |
In ACM Symposium on Principles of Programming Languages (POPL), St.~Petersburg Beach, Florida (1996), pp. 42-53.
|
| |
ACM Letters on Programming Languages and Systems, Vol. 2, No. 1-4. (March 1993), pp. 17-30.
|
| |
ACM Transanctions on Programming Languages and Systems, Vol. 20, No. 4. (jul 1998), pp. 707-723.
|
| |
|
| |
|
| |
|
| |
|
| |
In Symposium on Principles of Programming Languages (1998), pp. 289-302.
|