| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 161 (31 August 2006), pp. 59-71.
|
| |
In Mathematically Structured Functional Programming (2006)
|
| |
|
| |
J. Funct. Program., Vol. 19, No. 1. (2009), pp. 1-16.
|
| |
SIGMOD Rec., Vol. 23, No. 1. (1994), pp. 87-96.
|
| |
|
| |
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.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
Logical Methods in Computer Science, Vol. 2, No. 2. (17 Mar 2006)
|
| |
|
| |
|
| |
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.
|
| |
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 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. 269-280.
|
| |
|
| |
|
| |
|
| |
|
| |
In SOSP '67: Proceedings of the first ACM symposium on Operating System Principles (1967), pp. 15.1-15.12.
|
| |
In A. B. TUCKER Ed., The Computer Science and Engineering Handbook (1997), pp. 1058-1077.
|
| |
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (2008), pp. 17-27.
|
| |
In Symposium on Trends in Functional Programming (2007)
|
| |
Verified Software: Theories, Tools, Experiments (2008), pp. 99-114.
|
| |
In Scheme and Functional Programming 2006
|
| |
In STOC '93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing (1993), pp. 101-110.
|
| |
J. ACM, Vol. 46, No. 6. (November 1999), pp. 858-923.
|
| |
In In Glasgow functional programming workshop (1994), pp. 78-95.
|
| |
|
| |
Generative Programming and Component Engineering (2004), pp. 136-167.
|
| |
Advanced Functional Programming (1999), pp. 150-206.
|
CiteULike
pedagand's CiteULike
Search
