Full version
University of Chicago Technical Report 2007-18
Full version
Carnegie Mellon University. Computer Science Department. Technical Report CMU-CS-06-168.
Conference Version
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2002.
Full version
Carnegie Mellon University. Computer Science Department. Technical Report CMU-CS-04-155.
Conference version.
ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2000.