| |
J. ACM, Vol. 35, No. 4. (October 1988), pp. 893-920.
|
| |
In STOC '73: Proceedings of the fifth annual ACM symposium on Theory of computing (1973), pp. 96-107.
|
| |
|
| |
|
| |
In STOC '72: Proceedings of the fourth annual ACM symposium on Theory of computing (1972), pp. 238-250.
|
| |
|
| |
|
| |
|
| |
J. ACM, Vol. 21, No. 3. (July 1974), pp. 367-375.
|
| |
Principles of Programming Languages (January 2006)
|
| |
J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 905-923.
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 20, No. 4. (July 1998), pp. 845-868.
|
| |
|
| |
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 257-269.
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 125-125.
|
| |
In Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages (1997), pp. 51-75.
|
| |
Software - Practice and Experience, Vol. 21, No. 2. (1991), pp. 209-230.
|
| |
ACM SIG\-PLAN Notices, Vol. 31, No. 5. (1996), pp. 23-32.
|
| |
|
| |
In PEPM '02: Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 37, No. 3. (March 2002), pp. 63-74.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 209-220.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 20, No. 1. (January 1998), pp. 166-207.
|
| |
In ICCL '98: Proceedings of the 1998 International Conference on Computer Languages (1998)
|
| |
In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 197-208.
|
| |
In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174.
|
Search
