| |
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on, Vol. 0 (06 August 2002), pp. 280-291.
|
| |
Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308.
|
| |
Typed Lambda Calculi and Applications (1999), pp. 644-644.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288.
|
| |
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.
|
| |
Information and Computation, Vol. 127, No. 2. (1996), pp. 66-90.
|
| |
|
| |
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 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.
|
| |
In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 356-364.
|
| |
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 298-307.
|
| |
|
| |
In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 328-342.
|
| |
In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292.
|
| |
|
| |
In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 189-200.
|
| |
In Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 161-175.
|
Search
