| |
Typed Lambda Calculi and Applications (1999), pp. 643-643.
|
| |
Theorem Proving in Higher Order Logics (2003), pp. 120-135.
|
| |
In Annals of Pure and Applied Logic, Vol. 124 (2000)
|
| |
In CATS '07: Proceedings of the thirteenth Australasian symposium on Theory of computing (2007), pp. 111-121.
|
| |
Proof Theory in Computer Science (2001), pp. 93-113.
|
| |
|
| |
Annals of Pure and Applied Logic, Vol. 137, No. 1-3. (January 2006), pp. 299-316.
|
| |
Journal of Automated Reasoning, Vol. 27, No. 1. (1 July 2001), pp. 3-27.
|
| |
In TPHOLs '02: Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics (2002), pp. 115-130.
|
| |
In TAPSOFT '89: 2nd international joint conference on Theory and practice of software development (1991), pp. 107-136.
|
| |
Theorem Proving in Higher Order Logics (2009), pp. 73-78.
|
| |
Language Engineering and Rigorous Software Development (2009), pp. 57-99.
|
| |
Applied Semantics (2002), pp. 7-74.
|
| |
|
| |
Functional and Logic Programming (2008), pp. 97-112.
|
| |
Mathematics of Program Construction (2004), pp. 2-15.
|
| |
Typed Lambda Calculi and Applications (2003), pp. 1086-1086.
|
| |
Theoretical Computer Science, Vol. 342, No. 1. (06 September 2005), pp. 3-27.
|
| |
Programming Languages and Systems (2007), pp. 189-204.
|
| |
ACM Trans. Comput. Logic, Vol. 9, No. 3. (2008), pp. 1-49.
|
| |
SIGPLAN Not., Vol. 41, No. 1. (2006), pp. 1-1.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
J. Funct. Program., Vol. 14, No. 1. (2004), pp. 3-19.
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (1998), pp. 249-257.
|
| |
In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 62-73.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming (2008), pp. 229-240.
|
| |
Types for Proofs and Programs (2002), pp. 727-727.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 39-50.
|
| |
Lecture Notes in Computer Science, pp. 1-41.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 39-50.
|
| |
Programming Languages and Systems (2007), pp. 520-535.
|
| |
|
| |
|
| |
|
| |
|
| |
Datatype-Generic Programming (2007), pp. 209-257.
|
| |
In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68.
|
| |
In The Handbook of Logic in Computer Science, Vol. 5 (October 2000)
|
| |
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
Types for Proofs and Programs (2004), pp. 210-225.
|
| |
Nordic Journal of Computing, Vol. 10, No. 4. (2003), pp. 265-289.
|
| |
Mathematics of Program Construction (2008), pp. 268-283.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 216-226.
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
|
| |
Vol. 34 (1998), pp. 239-250.
|
Search
