| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 70-81.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 302-314.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 168-179.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 59-69.
|
| |
In HOTOS'05: Proceedings of the 10th conference on Hot Topics in Operating Systems (2005), pp. 14-14.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 29, No. 2. (1995), pp. 13-20.
|
| |
In EW10: Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC (2002), pp. 102-107.
|
| |
In OSDI'00: Proceedings of the 4th conference on Symposium on Operating System Design \& Implementation (2000), pp. 2-2.
|
| |
In OSDI '06: Proceedings of the 7th symposium on Operating systems design and implementation (2006), pp. 45-60.
|
| |
Programming Languages and Systems (2007), pp. 520-535.
|
| |
In ATEC '06: Proceedings of the annual conference on USENIX '06 Annual Technical Conference (2006), pp. 13-13.
|
| |
SIGCOMM Comput. Commun. Rev., Vol. 24, No. 4. (1994), pp. 36-45.
|
| |
In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006), 9.
|
| |
SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 168-179.
|
Search
