| |
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
|
| |
|
| |
In The Second International Summer School on Advanced Functional Programming Techniques (August 1996)
|
| |
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
|
| |
The Computer Journal, Vol. 32 (1989), pp. 98-107.
|
| |
Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111.
|
| |
|
| |
Science of Computer Programming In Special Issue on Program Transformation, Vol. 52, No. 1-3. (August 2004), pp. 101-129.
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
|
| |
|
| |
|
| |
Coordination Models and Languages (2008), pp. 315-330.
|
| |
|
| |
In CODAS (1996), pp. 363-366.
|
| |
|
| |
In ERLANG '08: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG (2008), pp. 41-48.
|
| |
In ERLANG '04: Proceedings of the 2004 ACM SIGPLAN workshop on Erlang (2004), pp. 38-47.
|
| |
In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007)
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 52-61.
|
| |
In ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang (2003), pp. 43-55.
|
| |
In ERLANG '07: Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop (2007), pp. 43-54.
|
| |
|
| |
|
| |
|
| |
In Principles and Practice of Declarative Programming (2000), pp. 32-43.
|
| |
In International Conference on Functional Programming (1997), pp. 196-203.
|
Search
