| |
In ESOP, No. 4421. (2007), pp. 2-17.
|
| |
|
| |
|
| |
J. Comput. Secur., Vol. 13, No. 3. (2005), pp. 423-482.
|
| |
Journal of Computer Security, Vol. 11 (2003)
|
| |
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE In Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE (2001), pp. 241-255.
|
| |
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141.
|
| |
Verification, Model Checking, and Abstract Interpretation (2006), pp. 298-312.
|
| |
Programming Languages and Systems (2007), pp. 490-504.
|
| |
No. TR-98-11. (May, 1998)
|
| |
J. ACM, Vol. 32, No. 1. (January 1985), pp. 137-161.
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
|
| |
Electr. Notes Theor. Comput. Sci., Vol. 139, No. 1. (2005), pp. 145-168.
|
| |
In ERLANG '04: Proceedings of the 2004 ACM SIGPLAN workshop on Erlang (2004), pp. 16-26.
|
| |
In PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation (1991), pp. 293-305.
|
| |
In Workshop on Type Theory and its Application to Computer Systems, Kyoto University (July 1993)
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 116-127.
|
| |
Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51.
|
Search
