| |
Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
In Functional Programming Languages and Computer Architecture, 5th ACM Conference, Vol. 523 (1991), pp. 406-426.
|
| |
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. 155-180.
|
| |
In Informal proceedings of the Fifth Symposium on Trends in Functional Languages (TFP 2004). (November 2004)
|
| |
In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236.
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
|
| |
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 4-15.
|
| |
In Proc. UK Joint Framework for Information Technology ({JFIT}) Technical Conference (93)
|
| |
J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 393-434.
|
| |
|
| |
Journal of Functional Programming, Vol. 8, No. 4. (1998)
|
| |
|
| |
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 57-68.
|
| |
In Haskell Workshop (2000)
|
| |
|
| |
In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 1-14.
|
| |
|
| |
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
In GLA (93), pp. 145-155.
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
|
| |
Fundamenta Informaticae, Vol. 66, No. 4. (April/May 2005), pp. 353-366.
|