| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
|
| |
Vol. 34 (1998), pp. 239-250.
|
| |
Mathematics of Program Construction (2008), pp. 268-283.
|
| |
Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods In Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods (2000), pp. 1-37.
|
| |
In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 1-2.
|
| |
|
| |
Functional and Logic Programming (2008), pp. 81-96.
|
| |
In Proceedings of the 30th ACM Conference on Programming Language Design and Implementation (2008)
|
| |
Types for Proofs and Programs (2003), pp. 617-617.
|
| |
|
| |
In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
In Advanced Topics in Types and Programming Languages (19 November 2004)
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
J. Funct. Program., Vol. 10, No. 4. (July 2000), pp. 409-415.
|
| |
In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41.
|
| |
Types for Proofs and Programs In Types for Proofs and Programs (2007), pp. 237-252.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44.
|
| |
|
| |
|
| |
Journal of Functional Programming, Vol. 1, No. 2. (April 1991), pp. 125-154.
|
| |
Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 66-77.
|
| |
SIGPLAN Notices, Vol. 39, No. 12. (2004), pp. 119-132.
|
| |
|
| |
SIGPLAN Notices, Vol. 41, No. 1. (2006), pp. 1-1.
|
| |
Journal of Functional Programming, Vol. 12, No. 5. (2002), pp. 375-392.
|
| |
In Trends in Functional Programming 2007, No. 8. (2007)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 174, No. 7. (2007), pp. 79-104.
|
| |
|
| |
|
