| |
Typed Lambda Calculi and Applications (1999), pp. 643-643.
|
| |
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.
|
| |
In Lecture notes of the 6th International Summer School on Advanced Functional Programming (May 2008)
|
| |
Types for Proofs and Programs (2002), pp. 727-727.
|
| |
|
| |
Fundamenta Informaticae, Vol. XXI (2001), pp. 1001-1032.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
|
| |
|
| |
|
| |
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 6th Symposium on Trends in Functional Programming (September 2005)
|
| |
International Journal of Foundations of Computer Science, Vol. 20, No. 1. (2009), pp. 83-107.
|
| |
|
| |
Mathematics of Program Construction (2008), pp. 268-283.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 39-50.
|
| |
In OSDI '06: Proceedings of the 7th symposium on Operating systems design and implementation (2006), pp. 45-60.
|
| |
Programming Languages and Systems (2007), pp. 520-535.
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
SIGPLAN Notices, Vol. 41, No. 1. (2006), pp. 1-1.
|
CiteULike
pedagand's CiteULike
Search
Export
