| |
Functional and Logic Programming (2006), pp. 2-12.
|
| |
ACM SIG\-PLAN Notices, Vol. 28, No. 3. (1993), pp. 231-270.
|
| |
|
| |
In POPL '85: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1985), pp. 245-254.
|
| |
In Advanced Functional Programming, Vol. 925 (1995)
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
Lisp Symb. Comput., Vol. 3, No. 1. (January 1990), pp. 67-99.
|
| |
Lisp and Symbolic Computation: An International Journal, Vol. 1, No. 1. (1988), pp. 53-76.
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
Lisp and Symbolic Computation, Vol. 5, No. 4. (1992), pp. 295-326.
|
| |
In Proceedings of the First International Conference on Deductive and Object-Oriented Databases (1989), pp. 223-240.
|
| |
In Proceedings 3rd ACM {SIGPLAN} Int.\ Conf.\ on Functional Programming, {ICFP}'98, Baltimore, {MD}, {USA}, 26--29 Sept.\ 1998, Vol. 34(1) (1998), pp. 273-279.
|
| |
Journal of Functional Programming, Vol. 9, No. 4. (1999), pp. 355-372.
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
In Proceedings IEEE Workshop on Mobile Computing Systems \& Applications (August-September 1994), pp. 2-7.
|
| |
In Proceedings of the 2001 ACM SIGCOMM Conference (2001), pp. 149-160.
|
| |
Multiparadigm Programming in Mozart/OZ (2005), pp. 125-136.
|
| |
|
| |
In Operating Systems Design and Implementation (1994), pp. 267-280.
|
| |
Lecture Notes in Computer Science, Vol. 2257 (2001)
|
| |
|
| |
|
| |
Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13-14, 2003. Proceedings (2003), pp. 256-272.
|
| |
Functional and Logic Programming (2006), pp. 259-276.
|
| |
In PPCP'93: First Workshop on Principles and Practice of Constraint Programming (1993)
|
| |
In Principles and Practice of Constraint Programming (2000), pp. 1-10.
|
| |
In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91) (1991), pp. 569-595.
|
| |
In Proceedings of ACM ASPLOS (November 2000)
by John Kubiatowicz, David Bindel, Yan Chen, et al.Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westly Weimer, Christopher Wells, Ben Zhao
|
| |
Future Generation Grids (2006), pp. 29-46.
|
| |
Lecture Notes in Computer Science, Vol. 3267 (2004), pp. 223-250.
|
| |
Lisp and Symbolic Computation, Vol. 9, No. 4. (1996), pp. 343-358.
|
| |
Acta Biotheoretica, Vol. 42, No. 1. (1 March 1994), pp. 1-14.
|
| |
Theoretical Computer Science, Vol. 138, No. 1. (1995), pp. 211-239.
|