| |
|
| |
Typed Lambda Calculi and Applications (2001), pp. 166-181.
|
| |
|
| |
Computer Science Logic (2009), pp. 825-825.
|
| |
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.
|
| |
Central European Functional Programming School (2006), pp. 135-167.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
|
| |
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.
|
| |
Logical Methods in Computer Science, Vol. 2, No. 2. (17 Mar 2006)
|
| |
Applied Semantics (2002), pp. 75-114.
|
| |
|
| |
|
| |
In CADE Workshop on Proof-search in Type-theoretic Languages (1998), pp. 93-106.
|
| |
Theoretical Computer Science, Vol. 212, No. 1-2. (06 February 1999), pp. 141-155.
|
| |
Computer Science Logic (2006), pp. 441-455.
|
| |
|
| |
Abstract Software Specifications (1980), pp. 504-526.
|
| |
Theoretical Computer Science (1981), pp. 167-183.
|
| |
In in Proceedings of the United Kingdom UNIX User Group Summer Proceedings (1993), pp. 11-19.
|
| |
|
| |
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 ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 70-81.
|
| |
|
| |
Reprints in Theory and Applications of Categories, No. 12. (2005), pp. 1-287.
|
| |
|
| |
|
| |
In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992)
|
| |
In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems (2009), pp. 265-276.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
| |
|
| |
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 ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 109-120.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 173-184.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 245-256.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 269-280.
|
| |
In Lecture notes of the 6th International Summer School on Advanced Functional Programming (May 2008)
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 228 (05 January 2009), pp. 21-36.
|
CiteULike
pedagand's CiteULike
Search
