| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 219-232.
|
| |
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 28 (2006)
|
| |
|
| |
In In Principles of Programming Languages (POPL (2003), pp. 213-223.
|
| |
|
| |
In In European Conference on Object-Oriented Programming, Vol. 1445 (1998), pp. 91-113.
|
| |
|
| |
|
| |
|
| |
In in Proc. TLCA ’99, Vol. 1581 (1999), pp. 228-242.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
In Conference record of POPL '95, 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77.
|
| |
|
| |
In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146.
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1 October 1999), pp. 283-283.
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 59-68.
|
| |
In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 80-89.
|
| |
No. TR-2001-05. (August 2001)
|
Search
