| |
Commun. ACM, Vol. 16, No. 1. (1973), pp. 15-21.
|
| |
In AFIPS '67 (Fall): Proceedings of the November 14-16, 1967, fall joint computer conference (1967), pp. 535-544.
|
| |
|
| |
|
| |
EATCS Bulletin, Vol. 62 (1997), pp. 62-222.
|
| |
In Functional Programming, Glasgow 1994 (1995), pp. 78-95.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1995), 1.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 242-256.
|
| |
In 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01) (2001)
|
| |
Information and Software Technology, Vol. 40, No. 11-12. (1 December 1998), pp. 701-726.
|
| |
|
| |
|
| |
In ICALP: Annual International Colloquium on Automata, Languages and Programming (1997)
|
| |
|
| |
|
| |
|
| |
Commun. ACM, Vol. 52, No. 9. (2009), pp. 78-86.
|
| |
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 269-269.
|
| |
High Performance Graphics 2009
|
| |
Mathematical Structures in Computer Science, Vol. 18, No. 5. (2008), pp. 823-894.
|
| |
Journal of Universal Computer Science, Vol. 11, No. 7. (2005)
|
| |
Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554.
|
| |
Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394.
|
| |
SIGCOMM Comput. Commun. Rev., Vol. 29, No. 4. (October 1999), pp. 251-262.
|
| |
|
| |
|
| |
J. Funct. Program., Vol. 13, No. 5. (2003), pp. 867-904.
|
| |
SIGPLAN Not., Vol. 40, No. 10. (2005), pp. 59-76.
|
| |
In STOC '09: Proceedings of the 41st annual ACM symposium on Theory of computing (2009), pp. 169-178.
|
| |
In POPL (2001), pp. 54-66.
|
| |
In PODS '86: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems (1986), pp. 1-15.
|
| |
SIGPLAN Not., Vol. 21, No. 5. (1986), pp. 91-95.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In ESOP, Vol. 582 (1992), pp. 130-150.
|
| |
In Proceedings 1992 ACM Conf.\ on Lisp and Functional Programming, San Francisco, {CA}, {USA}, 22--24 June 1992 (1992), pp. 288-298.
|
| |
In Proceedings ACM {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247.
|
| |
|
| |
In COORDINATION, Vol. 5052 (2008)
|
| |
In COORDINATION, Vol. 5052 (2008), pp. 331-346.
|
| |
Computer Networks and ISDN Systems, Vol. 30, No. 1--7. (1998), pp. 107-117.
|
| |
Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257.
|
| |
|
Search
