| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308.
|
| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
SIGPLAN Notices In 35th Symposium on Principles of Programming Languages, Proceedings, Vol. 43, No. 1. (January 2008), pp. 29-35.
|
| |
Mathematical Structures in Computer Science, Vol. 10, No. 03. (2000), pp. 313-320.
|
| |
Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179.
|
| |
In TLCA '93: Proceedings of the International Conference on Typed Lambda Calculi and Applications (1993), pp. 361-375.
|
| |
|
| |
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.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35.
|
| |
Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, {UK}, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 62-71.
|
| |
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume I (1999), pp. 709-709.
|
| |
Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102.
|
| |
Journal of Functional Programming, Vol. 10 (2000), pp. 77-89.
|
| |
Theoretical Computer Science, Vol. 136, No. 1. (1994), pp. 163-181.
|
| |
|
| |
|
| |
Information and Computation, Vol. 186, No. 2. (1 November 2003), pp. 260-284.
|
| |
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.
|
| |
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 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.
|
| |
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.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
Lecture Notes in Computer Science, Vol. 2215 (2001)
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 249-262.
|
| |
In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 281-292.
|
| |
In Proc.\ of 9th Ann.\ IEEE Symp.\ on Logic in Computer Science, LICS'94, Paris, France, 4--7 July 1994 (1994), pp. 310-319.
|
| |
SIGPLAN Not., Vol. 39, No. 9. (September 2004), pp. 115-125.
|
| |
In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
Search
