| |
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.
|
| |
Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318.
|
| |
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.
|
| |
|
| |
|
| |
In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225.
|
| |
Mathematical Structures in Computer Science, Vol. 15, No. 5. (October 2005), pp. 825-838.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 2-14.
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
Information and Computation, Vol. 186, No. 2. (1 November 2003), pp. 260-284.
|
| |
Information and Computation, Vol. 178, No. 1. (10 October 2002), pp. 23-43.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 78-91.
|
| |
Journal of Logic and Computation, Vol. 15, No. 2. (2005), pp. 219-237.
|
| |
Journal of Functional Programming, Vol. 8, No. 1. (January 1998), pp. 1-22.
|
| |
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 '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 31-46.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
Information and Computation, Vol. 139, No. 2. (15 December 1997), pp. 154-233.
|
| |
In Proceedings of Information Processing '83, pp. 513-523.
|
| |
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.
|
