| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 49-60.
|
| |
In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming (2008), pp. 163-173.
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
|
| |
Types for Proofs and Programs (2006), pp. 186-200.
|
| |
Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554.
|
| |
In FDPE '08: Proceedings of the 2008 international workshop on Functional and declarative programming in education (2008), pp. 21-30.
|
| |
No. CMU-CS-09-122. (April 2009)
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
| |
In Proceeding of ICFP '08 (2008), pp. 253-264.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 473-546.
|
| |
Logical Methods in Computer Science, Vol. 4, No. 4. (29 November 2008)
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 366-378.
|
| |
Annals of Pure and Applied Logic, Vol. 153, No. 1-3. (April 2008), pp. 66-96.
|
| |
In SFCS '85: Proceedings of the 26th Annual Symposium on Foundations of Computer Science (1985), pp. 339-345.
|
| |
SIGPLAN Not., Vol. 24, No. 7. (1989), pp. 192-206.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 155 (12 May 2006), pp. 521-542.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003), pp. 38-49.
|
| |
Programming Languages and Systems (2008), pp. 93-107.
|
| |
Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 228 (05 January 2009), pp. 69-84.
|
