| |
Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (January 2008), pp. 13-20.
|
| |
Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333.
|
| |
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 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.
|
| |
|
| |
Journal of Functional Programming, Vol. 15, No. 6. (November 2005), pp. 837-891.
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
Information and Computation, Vol. 178, No. 1. (10 October 2002), pp. 23-43.
|
| |
Information and Computation, Vol. 146, No. 2. (1 November 1998), pp. 100-137.
|
| |
SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 14-25.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
Information and Computation, Vol. 126, No. 1. (10 April 1996), pp. 11-33.
|
| |
Information and Computation, Vol. 120, No. 1. (July 1995), pp. 107-116.
|
| |
In Proceedings of Information Processing '83, pp. 513-523.
|
| |
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.
|
