| |
Journal of Functional Programming, Vol. 9, No. 1. (1999), pp. 77-91.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253.
|
| |
|
| |
In International Conference on Functional Programming (1998), pp. 195-203.
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 153-164.
|
| |
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
In Programming Languages and Systems -- ESOP'96, Proc. 6th European Symposium on Programming, Link{\"{o}}ping, Vol. 1058 (1996), pp. 219-234.
|
| |
In Proceedings of Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000 (September 2000), pp. 106-118.
|
| |
In Conference on Functional Programming Languages and Computer Architecture (June 1993), pp. 223-232.
|
| |
In Proceedings 4th ACM {SIGPLAN} Int.\ Conf.\ on Functional Programming, {ICFP}'99, Paris, France, 27--29 Sept 1999, Vol. 34(9) (1999), pp. 249-260.
|
| |
In International Conference on Functional Programming (ICFP '01) (September 2001)
|
| |
Lecture Notes in Computer Science, Vol. 2257 (2001)
|
| |
|
| |
In Conference Record of POPL '96: The $23^\mathrmrd$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (FebruaryJanuary--FebruaryApril 1996), pp. 295-308.
|
| |
Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65.
|
| |
Journal of Functional Programming, Vol. 18, No. 1. (2008), pp. 1-13.
|
| |
Lecture Notes in Computer Science, Vol. 1753 (2000), pp. 16-??.
|
| |
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 131-136.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35.
|
| |
|
| |
Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341.
|
| |
In EHCI (1995), pp. 69-87.
|
| |
In Functional Programming Languages and Computer Architecture (1995), pp. 86-95.
|
| |
|
| |
Journal of Functional Programming, Vol. 9, No. 1. (1999), pp. 77-91.
|
| |
|
| |
Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 305-317.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 28-35.
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
Computer Graphics, Vol. 28, No. Annual Conference Series. (1994), pp. 175-176.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, {UK}, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
|
| |
|
| |
In International Conference on Functional Programming, ICFP'2000 (September 2000)
|
| |
Journal of the ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
|
| |
In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 251-262.
|
| |
In PLILP (1995), pp. 341-356.
|
| |
In Proceedings SION Computing Science in the Netherlands (1991), pp. 315-335.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 28, No. 6. (2006), pp. 990-1034.
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (2002), pp. 26-35.
|
| |
ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279.
|
| |
|
| |
|
| |
In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 98-102.
|
Search
