| |
|
| |
In In ACM Sigplan Notices, Vol. 29 (1994), pp. 55-59.
|
| |
Distributed Computing, Vol. 6, No. 3. (16 April 1993), pp. 155-164.
|
| |
Journal of Logic Programming, Vol. 19,20 (1994), pp. 385-441.
|
| |
Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259.
|
| |
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 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.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40.
|
| |
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 Advanced Functional Programming (1998), pp. 150-206.
|
| |
In Category Theory and Computer Science (1995), pp. 200-219.
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 290-303.
|
| |
|
| |
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.
|
| |
In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization (2007), pp. 34-48.
|
| |
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.
|
| |
SIGPLAN Not. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, Vol. 41, No. 6. (2006), pp. 14-25.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
Computer Architecture, 1993., Proceedings of the 20th Annual International Symposium on In Computer Architecture, 1993., Proceedings of the 20th Annual International Symposium on (1993), pp. 289-300.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 6. (November 1994), pp. 1719-1736.
|
| |
Database Systems, Vol. 27, No. 1. (2002), pp. 63-116.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 28, No. 2. (March 2006), pp. 207-255.
|
| |
Computer Architecture Letters, IEEE In Computer Architecture Letters, IEEE, Vol. 5, No. 2. (2006), pp. 17-17.
|
| |
Science of Computer Programming, Vol. 57, No. 2. (August 2005), pp. 164-186.
|
| |
In Symposium on Principles of Distributed Computing (1995), pp. 204-213.
|
| |
Information Processing Letters, Vol. 25, No. 4. (1987), pp. 275-279.
|
| |
|
| |
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
SIGPLAN Not., Vol. 39, No. 10. (October 2004), pp. 50-68.
|
Search
