| |
In Proceedings of OOPSLA '09 (2009), pp. 243-262.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 287-298.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 105-126.
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 473-546.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 264-276.
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 117-127.
|
| |
ACM Comput. Surv., Vol. 28, No. 2. (June 1996), pp. 324-328.
|
| |
CONCUR'98 Concurrency Theory (1998), pp. 481-488.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144.
|
| |
In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 1-12.
|
| |
No. MSR-TR-2009-2. (1 January 2009)
|
| |
J. Funct. Program., Vol. 12, No. 1. (2002), pp. 1-41.
|
| |
In PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002), pp. 38-49.
|
| |
Programming Languages and Systems (2002), pp. 237-261.
|
| |
Static Analysis (2002), pp. 103-124.
|
| |
Nordic J. of Computing, Vol. 9, No. 4. (2002), pp. 335-372.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 3, No. 4. (1981), pp. 431-483.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 265-276.
|
CiteULike
robertjohnsimmons's CiteULike
Search
Export
