| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165.
|
| |
In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 54-66.
|
| |
|
| |
In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
|
| |
|
| |
In Proceedings of the ACM {SIGPLAN} Workshop on State in Programming Languages, Copenhagen, {DK}, {SIPL} '92 (1993), pp. 46-56.
|
| |
Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341.
|
| |
In Conference Record of POPL '96: The $23^\mathrmrd$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (FebruaryJanuary--FebruaryApril 1996), pp. 295-308.
|
| |
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.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240.
|
| |
Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111.
|
| |
|
| |
In Types in Compilation (1998), pp. 97-115.
|
| |
In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, LICS'89, Pacific Grove, CA, USA, 5--8 June 1989 (1989), pp. 14-23.
|
| |
Information and Computation, Vol. 93, No. 1. (1991), pp. 55-92.
|
| |
In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '98), Vol. 34(1) (1999), pp. 63-74.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 54-66.
|
| |
In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996)
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 63-74.
|
Search
