| |
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on, Vol. 0 (06 August 2002), pp. 280-291.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 51-62.
|
| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
Typed Lambda Calculi and Applications (1999), pp. 644-644.
|
| |
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 10, No. 03. (2000), pp. 313-320.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288.
|
| |
|
| |
Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318.
|
| |
|
| |
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220.
|
| |
In STACS '93: Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science (1993), pp. 418-427.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 168-179.
|
| |
|
| |
Information and Computation, Vol. 155, No. 1-2. (25 November 1999), pp. 3-63.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 78-91.
|
| |
|
| |
Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 69-101.
|
| |
|
| |
Mathematical. Structures in Computer Science, Vol. 10, No. 3. (June 2000), pp. 321-359.
|
Search
