| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1998), pp. 25-37.
|
| |
Automated Software Engineering, Vol. 6, No. 1. (1999), pp. 69-95.
|
| |
Journal of Logic and Computation, Vol. 2, No. 4. (1992), pp. 511-547.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (2009), pp. 287-298.
|
| |
In Proceedings of the 8th Colloquium on Automata, Languages and Programming (1981), pp. 114-128.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2008), pp. 235-246.
|
| |
In Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages (1997), pp. 76-99.
|
| |
BIGRE, Vol. 74 (1991), pp. 33-36.
|
| |
In Proceedings of the 1994 International Conference on Computer Languages (1994), pp. 95-112.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (2003), pp. 196-207.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (2001), pp. 203-213.
|
| |
In LFP '86: Proceedings of the 1986 ACM Conference on LISP and Functional Programming (1986), pp. 351-363.
|
| |
In EMSOFT '07: Proceedings of the 7th ACM and IEEE International Conference on Embedded Software (2007), pp. 7-9.
|
| |
In POPL '09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2009), pp. 127-139.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (2006), pp. 376-386.
|
| |
In Verification, Model Checking, and Abstract Interpretation (January 2007), pp. 59-73.
|
| |
|
| |
|
| |
In POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1979), pp. 269-282.
|
| |
In VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 260-274.
|
| |
Journal of Functional Programming, Vol. 18, No. Special Double Issue 5-6. (2008), pp. 821-864.
|
| |
In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages (1977), pp. 238-252.
|
| |
In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 13-25.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 127-140.
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 185-198.
|
