| |
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 proceedings of the 11th International Conference on Foundations of In Software Science and Computation Structures (FoSSaCS 2008) (April 2008)
|
| |
Computer Network Security (2005), pp. 179-193.
|
| |
Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197.
|
| |
In Handbook of Philosophical Logic Volume II --- Extensions of Classical Logic (1984), pp. 497-604.
|
| |
Lecture Notes in Computer Science, Vol. 1158 (1996), pp. 165-??.
|
| |
|
| |
Mathematics Magazine, Vol. 62, No. 1. (1989), pp. 3-27.
|
| |
Mathematics Magazine, Vol. 58, No. 5. (1985), pp. 272-280.
|
| |
In In proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 31-48.
|
| |
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.
|
| |
|
| |
In CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations (2006), pp. 283-296.
|
| |
The Computer Journal, Vol. 44, No. 1. (2001), pp. 54-66.
|
| |
J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 249-291.
|
| |
In CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations (2006), pp. 202-216.
|
| |
Programming Languages and Systems (2005), pp. 141-156.
|
| |
Computer, Vol. 37, No. 6. (2004), pp. 37-46.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 706-734.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 263-273.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 25, No. 3. (2003), pp. 360-399.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (2005), pp. 344-382.
|
| |
In SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles (1997), pp. 116-128.
|
| |
In LICS '03: Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science (2003)
|
| |
In Proceedings of the 11th USENIX Security Symposium (2002), pp. 93-108.
|
| |
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 106-119.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (May 1995), pp. 431-447.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 9, No. 4. (October 2000), pp. 341-378.
|
| |
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76.
|
| |
|
| |
|
| |
|
| |
In LICS: {IEEE} Symposium on Logic in Computer Science (1995)
|
| |
Journal of Logic and Computation, Vol. 10, No. 4. (2000), pp. 493-526.
|
| |
In TLCA '99: Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (1999), pp. 381-396.
|
| |
In Type Theory and Term Rewriting (1996)
|
| |
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (1994), pp. 310-319.
|
| |
In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming (1992), pp. 193-204.
|
| |
In TAPSOFT '93: Selected papers of the colloquium on Formal approaches of software engineering (1994), pp. 197-226.
|
| |
In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming (1992), pp. 182-192.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 1. (January 2005), pp. 1-45.
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
|
| |
In Analytic Tableaux and Related Methods (1997), pp. 138-152.
|
Search
