| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
Theoretical Computer Science, Vol. 103, No. 2. (1992), pp. 235-271.
|
| |
In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation (1993), pp. 237-247.
|
| |
In {POPL} 2006: The 33rd {ACM SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (January 2006), pp. 218-231.
|
| |
In ACM International Conference on Functional Programming (October 2002)
|
| |
In European Conference on Object-Oriented Programming (2004)
|
| |
ACM Comput. Surv., Vol. 28, No. 2. (1996), pp. 349-351.
|
| |
In PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation (1996), pp. 23-32.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 171-183.
|
| |
J. Funct. Program., Vol. 7, No. 3. (1997), pp. 265-301.
|
| |
In Formal Description of Programming Language Concepts III (1986), pp. 193-217.
|
| |
In {OOPSLA'06} Companion (2006), pp. 964-974.
|
| |
In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 328-342.
|
| |
Inf. Comput., Vol. 111, No. 2. (1994), pp. 297-401.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 2. (1999), pp. 370-416.
|
| |
In PLDI '97: Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (1997), pp. 235-248.
|
