| |
In International Conference on Functional Programming (1999), pp. 8-17.
|
| |
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 125-125.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165.
|
| |
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 174-185.
|
| |
|
| |
In Foundations of Software Science and Computation Structure (2002), pp. 342-356.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 8-17.
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2294 (January 2002), 182.
|
| |
SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114.
|
| |
|
Search
