| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 261-275.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 38-49.
|
| |
Journal of Computer Security, Vol. 11, No. 4. (2003), pp. 451-519.
|
| |
Journal of the ACM, Vol. 46, No. 5. (September 1999), pp. 749-786.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Vol. 195 (18 January 2008), pp. 75-93.
|
| |
In CCS '08: Proceedings of the 15th ACM Conference on Computer and Communications Security (2008), pp. 357-370.
|
| |
Advanced Functional Programming (2005), pp. 245-272.
|
| |
SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 79-89.
|
| |
In ICFP 2006 (2006), pp. 251-262.
|
| |
|
| |
In Proceedings of the 13th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-98), Vol. 33:10 (October 1998), pp. 48-64.
|
| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 106-116.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications (2003), pp. 302-312.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 24, No. 6. (November 2002), pp. 711-804.
|
| |
In Proceedings of the Fourth ACM Conference on Computer and Communications Security (1997)
|
| |
In Proceedings of the ACM SIGPLAN~'98 Conference on Programming Language Design and Implementation (1998), pp. 236-248.
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 250-261.
|
| |
In Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA '06) (2006), pp. 57-74.
|
| |
In Proceedings of the 32th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'05) (2005)
|
| |
In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development (2007), pp. 185-198.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256.
|
| |
J. Funct. Program., Vol. 10, No. 2. (March 2000), pp. 137-166.
|
| |
Theory and Practice of Object Systems, Vol. 1, No. 3. (1995), pp. 221-242.
|
Search
