| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 70-81.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 262-275.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 251-260.
|
| |
In Proc.\ Int.\ Workshop on Memory Management (1995)
|
| |
Softw. Pract. Exper., Vol. 20, No. 1. (January 1990), pp. 5-12.
|
| |
In Architectural Support for Programming Languages and Operating Systems (1998), pp. 2-11.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771.
|
| |
Information and Computation (1997)
|
| |
|
| |
In Proc. ACM SIGPLAN Workshop on Memory System Performance (Jun 2002)
|
| |
In Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 1-12.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 313-323.
|
| |
In USENIX Summer (1994), pp. 87-98.
|
| |
SIGPLAN Not., Vol. 38, No. 2 supplement. (2003), pp. 163-174.
|
| |
|
| |
ACM SIGPLAN Notices, Vol. 27, No. 3. (1992)
|
| |
In Higer Order Operational Techniques in Semantics (1997)
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771.
|
| |
In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 262-272.
|
| |
In Conference Record of POPL 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 262-275.
|
| |
|
| |
|
| |
Journal of Functional Programming, Vol. 6, No. 2. (1996), pp. 195-244.
|
| |
SIGPLAN Not., Vol. 27, No. 8. (August 1992), pp. 89-98.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 129-142.
|
| |
|
| |
IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 1. (January 1998), pp. 153-172.
|
| |
In SIGMOD '94: Proceedings of the 1994 ACM SIGMOD international conference on Management of data, Vol. 23, No. 2. (June 1994), pp. 371-382.
|
| |
In OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications, Vol. 26, No. 11. (November 1991), pp. 33-46.
|
| |
|
| |
In SIGMOD '97: Proceedings of the 1997 ACM SIGMOD international conference on Management of data, Vol. 26, No. 2. (June 1997), pp. 313-323.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 27, No. 5. (December 1993), pp. 161-174.
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 261-269.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 104-117.
|
| |
In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 185-197.
|
| |
Nordic J. of Computing, Vol. 7, No. 4. (2000), pp. 258-289.
|
| |
In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 175-186.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 141-152.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 282-293.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 70-80.
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 313-323.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 123-134.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 324-337.
|
| |
In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, Vol. 30, No. 6. (June 1995), pp. 174-185.
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 262-275.
|
| |
Theoretical Computer Science, Vol. 258, No. 1--2. (2001), pp. 299-392.
|
| |
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 166-178.
|
| |
In International Conference on Functional Programming (2001), pp. 181-192.
|
| |
|
Search
