| |
In VMCAI 2010: International Conference on Verifiation, Model-Checking and Abstract Interpretation (January 2010), pp. 263-278.
|
| |
In Proceedings of the 2009 Workshop on Scheme and Functional Programming (2009)
|
| |
|
| |
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 VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2009), pp. 44-58.
|
| |
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1994), pp. 435-445.
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2001), pp. 54-66.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1997), pp. 332-345.
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1995), pp. 393-407.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming (2008), pp. 275-282.
|
| |
In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vol. 32, No. 10. (October 1997), pp. 108-124.
|
| |
In ECOOP '95: Proceedings of the 9th European Conference on Object-Oriented Programming (1995), pp. 2-26.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 20, No. 1. (January 1998), pp. 166-207.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 17, No. 1. (January 1995), pp. 47-62.
|
| |
|
| |
In Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174.
|
| |
|
| |
Theoretical Computer Science, Vol. 375, No. 1-3. (01 May 2007), pp. 137-168.
|
Search
