| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24.
|
| |
In Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd\'ansk (1993)
|
| |
In Functional Programming Languages and Computer Architecture (1991), pp. 215-240.
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 54-66.
|
| |
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 54-66.
|
| |
SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 13-24.
|
| |
In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 38-47.
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
In Functional Programming Languages and Computer Architecture (1995)
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 29-42.
|
| |
|
| |
In Proceedings of the SIGPLAN'02 Conference on Programming Language Design and Implementation (Jun 2002)
|
| |
In International Conference on Functional Programming (2001), pp. 181-192.
|
| |
In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996)
|
| |
|
| |
In PEPM '91: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 26, No. 9. (September 1991), pp. 255-273.
|
| |
Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248.
|
| |
|
| |
|
Search
