| |
In TYPES (1999), pp. 1-20.
|
| |
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 371-382.
|
| |
|
| |
In In proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 16-30.
|
| |
In Conference record of {POPL} '98: the 25th {ACM} {SIGPLAN-{SIGACT}} Symposium on Principles of Programming Languages, San Diego, California, 19--21 January 1998 (1998), pp. 365-377.
|
| |
J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 249-291.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 25, No. 3. (2003), pp. 360-399.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 106-119.
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 9, No. 4. (October 2000), pp. 341-378.
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
In SP '02: Proceedings of the 2002 IEEE Symposium on Security and Privacy (2002)
|
| |
|
| |
In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, LICS'89, Pacific Grove, CA, USA, 5--8 June 1989 (1989), pp. 14-23.
|
| |
|
| |
|
| |
In Proc. of the 9th {ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming (2004)
|
| |
|
| |
ACM Transactions on Computational Logic (2005)
|
