| |
Mathematical Foundations of Programming Semantics (1992), pp. 1-40.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 602-617.
|
| |
Mathematics of Program Construction (2002), pp. 93-106.
|
| |
|
| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308.
|
| |
Information and Computation, Vol. 120, No. 1. (July 1995), pp. 107-116.
|
| |
SIGPLAN Notices In 35th Symposium on Principles of Programming Languages, Proceedings, Vol. 43, No. 1. (January 2008), pp. 29-35.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (January 2008), pp. 13-20.
|
| |
Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318.
|
| |
Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217.
|
| |
In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 553-568.
|
| |
Information and Computation, Vol. 186, No. 2. (1 November 2003), pp. 260-284.
|
| |
Information and Computation, Vol. 178, No. 1. (10 October 2002), pp. 23-43.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 157-170.
|
| |
Information and Computation, Vol. 179, No. 2. (December 2002), pp. 296-331.
|
| |
Mathematical. Structures in Computer Science, Vol. 10, No. 3. (June 2000), pp. 321-359.
|
| |
In Proceedings of the 6th European Symposium on Programming Languages and Systems (ESOP '96), Vol. 1058 (1996), pp. 204-218.
|
| |
SIGPLAN Notices In 31st Symposium on Principles of Programming Languages (POPL '04), Vol. 39, No. 1. (January 2004), pp. 99-110.
|
| |
SIGPLAN Notices In Seventh International Conference on Functional Programming (ICFP '02), Vol. 37, No. 9. (October 2002), pp. 14-25.
|
| |
Lecture Notes in Computer Science, Vol. 2215 (2001)
|
| |
Fundam. Inf., Vol. 51, No. 1. (June 2002), pp. 13-41.
|
| |
In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 15-23.
|
Search
