| |
Functional and Logic Programming (2008), pp. 97-112.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (2008), pp. 17-27.
|
| |
In CADE-18: Proceedings of the 18th International Conference on Automated Deduction (2002), pp. 63-77.
|
| |
SIGPLAN Not., Vol. 35, No. 5. (2000), pp. 83-94.
|
| |
Mathematics of Program Construction (2006), pp. 49-68.
|
| |
|
| |
Journal of Automated Reasoning, Vol. 41, No. 1. (1 July 2008), pp. 1-31.
|
| |
Mathematics of Program Construction (2004), pp. 211-227.
|
| |
Theorem Proving in Higher Order Logics (2008), pp. 167-182.
|
| |
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156.
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning (2007), pp. 151-165.
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 60-71.
|
| |
|
| |
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on In Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 165-175.
|
| |
Commun. ACM, Vol. 17, No. 7. (July 1974), pp. 412-421.
|
| |
In PLOS '07: Proceedings of the 4th workshop on Programming languages and operating systems (2007), pp. 1-5.
|
| |
In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Seattle, {WA} (1996), pp. 229-243.
|
| |
J. Funct. Program., Vol. 11, No. 3. (2001), pp. 347-358.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 25-36.
|
| |
Computer Science Logic (2006), pp. 182-196.
|
| |
In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 1-12.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
|
| |
FM 2006: Formal Methods (2006), pp. 460-475.
|
| |
Logic in Computer Science, Symposium on In LICS '06: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, Vol. 0 (2006), pp. 359-366.
|
| |
|
| |
In Proceedings 9th Int.\ Conf.\ on Theorem Proving in Higher Order Logics, TPHOLs'96, Turku, Finland, 26--30 Aug 1996, Vol. 1125 (1996), pp. 125-139.
|
| |
Theorem Proving in Higher Order Logics (1999), pp. 83-83.
|
| |
|
| |
Programming Languages and Systems (2008), pp. 1-15.
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227.
|
| |
In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000), pp. 149-202.
|
Search
