| |
In ML '06: Proceedings of the 2006 workshop on ML (2006), pp. 32-42.
|
| |
Parallel Processing, 2008. ICPP '08. 37th International Conference on (16 September 2008), pp. 536-545.
|
| |
J Logic Computation, Vol. 13, No. 5. (1 October 2003), pp. 639-688.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 196 (22 January 2008), pp. 113-128.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 22, No. 1. (January 2000), pp. 1-44.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 287-298.
|
| |
|
| |
In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming (2008), pp. 163-173.
|
| |
Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195.
|
| |
Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
|
| |
In Proceedings of the Symposium on Computers and Automata, Vol. XXI (April 1971), pp. 19-46.
|
| |
Commun. ACM, Vol. 52, No. 7. (2009), pp. 107-115.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202.
|
| |
|
| |
In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 227-244.
|
| |
American Philosophical Quarterly, Vol. 1, No. 4. (1964), pp. 288-306.
|
| |
Transactions of the American Mathematical Society, Vol. 39, No. 3. (1936), pp. 472-482.
|
| |
|
| |
No. CMU-CS-08-126. (May 2008)
|
| |
Trustworthy Global Computing (2008), pp. 108-123.
|
| |
Commun. ACM, Vol. 14, No. 1. (January 1971), pp. 39-45.
|
| |
Commun. ACM, Vol. 18, No. 8. (August 1975), pp. 453-457.
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 253-264.
|
| |
|
| |
In Proceedings of ACM conference on Proving assertions about programs (1972), pp. 1-6.
|
| |
J. ACM, Vol. 23, No. 4. (October 1976), pp. 733-742.
|
| |
SIGPLAN Not., Vol. 18, No. 4. (1983), pp. 55-57.
|
| |
J. Funct. Program., Vol. 12, No. 1. (2002), pp. 1-41.
|
| |
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
In IFIP Congress (1983), pp. 513-523.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188.
|
| |
Automated Technology for Verification and Analysis (2007), pp. 19-34.
|
| |
Mathematical Structures in Computer Science, Vol. 11, No. 04. (2001), pp. 573-588.
|
| |
In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 198-203.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 259-299.
|
| |
Programming Languages and Systems (2009), pp. 222-238.
|
| |
Logic in Computer Science, Symposium on In Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on, Vol. 0 (2008), pp. 69-80.
|
| |
In LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science (2008), pp. 166-177.
|
| |
Logic in Computer Science, Symposium on, Vol. 0 (2008), pp. 229-240.
|
| |
Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 289-302.
|
| |
Programming Languages and Systems (2007), pp. 441-457.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 97-110.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 29-40.
|
| |
Programming Languages and Systems (2008), pp. 93-107.
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 54-65.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 1-12.
|
Search
