| |
Programming Symposium In Programming Symposium, Vol. 19 (1974), pp. 408-425.
|
| |
Theory and Practice of Object Systems, Vol. 4, No. 1. (1998), pp. 27-50.
|
| |
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 41-53.
|
| |
Mathematical Structures in Computer Science, Vol. 6, No. 6. (1996), pp. 579-612.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392.
|
| |
Commun. ACM, Vol. 17, No. 1. (January 1974), pp. 32-42.
|
| |
In PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, Vol. 26, No. 6. (June 1991), pp. 293-305.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 295-307.
|
| |
The Haskell Mailing List (12 December 2007)
|
| |
The Haskell Mailing List (18 December 2006)
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
|
| |
In Conference Record of POPL '96: The $23^\text{rd}$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (February 1996), pp. 295-308.
|
| |
In Proc. UK Joint Framework for Information Technology ({JFIT}) Technical Conference (93)
|
| |
|
| |
|
| |
In ESOP '99: Proceedings of the 8th European Symposium on Programming Languages and Systems (1999), pp. 74-90.
|
| |
Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006)
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
|
Search
