| |
In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education (2005), pp. 470-474.
|
| |
|
| |
In ITiCSE '01: Proceedings of the 6th annual conference on Innovation and technology in computer science education (2001), pp. 25-28.
|
| |
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.
|
| |
The Journal of Logic Programming, Vol. 41, No. 2-3. (December 1999), pp. 197-230.
|
| |
In Advances in Neural Information Processing Systems, Vol. 15 (2003)
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 287-298.
|
| |
|
| |
Journal of Universal Computer Science, Vol. 12, No. 10. (28 October 2006), pp. 1413-1425.
|
| |
Automated Reasoning with Analytic Tableaux and Related Methods (2007), pp. 216-232.
|
| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 49-60.
|
| |
In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming (2008), pp. 163-173.
|
| |
|
| |
Fundamental Approaches to Software Engineering (1998), 38.
|
| |
Theoretical Computer Science, Vol. 236, No. 1-2. (6 April 2000), pp. 35-132.
|
| |
Theoretical Computer Science, Vol. 170, No. 1-2. (15 December 1996), pp. 245-276.
|
| |
Rewriting Techniques and Applications (1996), pp. 428-431.
|
| |
Automated Deduction — Cade-13 (1996), pp. 261-274.
|
| |
SIGSAM Bull., Vol. 21, No. 4. (1987), pp. 6-9.
|
| |
Journal of Automated Reasoning, Vol. 9, No. 2. (1 October 1992), pp. 261-288.
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
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.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
Journal of Applied Logic, Vol. 4, No. 3. (September 2006), pp. 231-255.
|
| |
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.
|
| |
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on, Vol. 0 (06 August 2002), pp. 280-291.
|
| |
|
| |
Term Rewriting and Applications (2006), pp. 151-165.
|
| |
In ML '06: Proceedings of the 2006 workshop on ML (2006), pp. 55-62.
|
| |
Journal of Applied Logic, Vol. 4, No. 4. (December 2006), pp. 505-532.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 287-295.
|
| |
Types for Proofs and Programs (2006), pp. 186-200.
|
| |
Journal of Functional Programming, Vol. 13, No. 06. (2003), pp. 1061-1075.
|
| |
Journal of Logic, Language and Information, Vol. 15, No. 4. (1 November 2006), pp. 331-370.
|
| |
Typed Lambda Calculi and Applications (2003), pp. 1086-1086.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9.
|
| |
Journal of Functional Programming, Vol. 14, No. 02. (March 2004), pp. 145-189.
|
| |
Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554.
|
| |
|
| |
|
| |
Theorem Proving in Higher Order Logics (2005), pp. 50-65.
|
| |
Mathematical Foundations of Computer Science 2000 (2000), pp. 456-466.
|
| |
|
| |
Commun. ACM, Vol. 52, No. 7. (2009), pp. 107-115.
|
| |
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 (2008), pp. 383-396.
|
| |
Automated Reasoning (2008), pp. 320-326.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 613-673.
|
CiteULike
robertjohnsimmons's CiteULike
Search
