| |
|
| |
Theorem Proving in Higher Order Logics (2005), pp. 50-65.
|
| |
Automated Reasoning (2008), pp. 320-326.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 613-673.
|
| |
|
| |
No. CMU-CS-09-155. (July 2009)
|
| |
Types for Proofs and Programs (2004), pp. 355-377.
|
| |
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on In Proceedings of LICS '09, Vol. 0 (04 August 2009), pp. 101-110.
|
| |
No. CMU-CS-01-154. (April 2002)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 196 (22 January 2008), pp. 113-128.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 1-12.
|
| |
Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 19-75.
|
| |
In Proceedings of PPDP '05 (July 2005), pp. 35-46.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 37-46.
|
| |
Theorem Proving in Higher Order Logics (2004), pp. 18-33.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 4 (January 1996), pp. 190-225.
|
| |
Theoretical Computer Science, Vol. 373, No. 3. (5 April 2007), pp. 213-237.
|
| |
|
| |
In FDPE '08: Proceedings of the 2008 international workshop on Functional and declarative programming in education (2008), pp. 31-40.
|
CiteULike
robertjohnsimmons's CiteULike
Search
Export
