| |
Distributed Computing, Vol. 6, No. 3. (16 April 1993), pp. 155-164.
|
| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46.
|
| |
In ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang (2006), pp. 38-50.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77.
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 769-804.
|
| |
In 546 (MarchJanuary 1998)
|
| |
In Proceesings of CONCUR '93 (1993), pp. 493-508.
|
| |
In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing (2003), pp. 92-101.
|
| |
In Proceedings of an ACM conference on Language design for reliable software (1977), pp. 128-137.
|
| |
ACM Lett. Program. Lang. Syst., Vol. 1, No. 1. (March 1992), pp. 74-88.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 12, No. 3. (July 1990), pp. 463-492.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (2005), pp. 280-280.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149.
|
| |
J. ACM, Vol. 46, No. 6. (November 1999), pp. 858-923.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 5. (November 1993), pp. 745-770.
|
| |
SIGPLAN Not. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Vol. 42, No. 6. (2007), pp. 78-88.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 26-37.
|
| |
In MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness (2006), pp. 82-91.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, Vol. 40, No. 9. (September 2005), pp. 92-104.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 28, No. 2. (March 2006), pp. 207-255.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 77, No. 4. (1989), pp. 541-580.
|
| |
: Automata, Languages and Programming (1990), pp. 167-180.
|
| |
In PPOPP '90: Proceedings of the second ACM SIGPLAN symposium on Principles \& practice of parallel programming (1990), pp. 128-136.
|
| |
In SBAC-PAD '05: Proceedings of the 17th International Symposium on Computer Architecture on High Performance Computing (2005), pp. 35-43.
|
| |
Commun. ACM, Vol. 18, No. 9. (September 1975), pp. 495-508.
|
| |
Computers, IEEE Transactions on, Vol. 46, No. 7. (1997), pp. 779-782.
|
| |
Commun. ACM, Vol. 19, No. 9. (September 1976), pp. 522-526.
|
| |
Commun. ACM, Vol. 21, No. 11. (November 1978), pp. 966-975.
|
| |
Distributed Computing, Vol. 15, No. 4. (December 2002), pp. 255-271.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 28, No. 1. (January 2006), pp. 1-69.
|
| |
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 224-236.
|
| |
In PODC '02: Proceedings of the twenty-first annual symposium on Principles of distributed computing (2002), pp. 21-30.
|
| |
|
| |
In Conference on Object-Oriented (2001), pp. 367-380.
|
| |
In Usenix Java Virtual Machine Research and Technology Symposium (JVM '01) (2001)
|
| |
|
| |
|
| |
Parallel and Distributed Systems, IEEE Transactions on, Vol. 3, No. 3. (1992), pp. 304-311.
|
| |
|
| |
|
| |
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.
|
| |
Journal of Functional Programming, Vol. 1, No. 3. (1991), pp. 329-366.
|
| |
ACM Comput. Surv., Vol. 21, No. 3. (September 1989), pp. 323-357.
|
| |
Microprocessing and Microprogramming, Vol. 35 (1992), pp. 563-568.
|
