| |
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.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
Mathematics of Program Construction In Mathematics of Program Construction, Proceedings, Vol. 5133 (July 2008), pp. 388-403.
|
| |
Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179.
|
| |
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 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. 103-114.
|
| |
In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 97-136.
|
| |
Information and Computation, Vol. 186, No. 2. (1 November 2003), pp. 260-284.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 144-155.
|
| |
Mathematical Structures in Computer Science, Vol. 15, No. 4. (August 2005), pp. 709-772.
|
| |
ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
|
| |
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 50-62.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
In Proceedings of Information Processing '83, pp. 513-523.
|
| |
In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 157-170.
|
| |
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 274-279.
|
| |
Theoretical Computer Science, Vol. 115, No. 1. (5 July 1993), pp. 107-129.
|
| |
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.
|
