| |
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292.
|
| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation (2000), pp. 242-252.
|
| |
Lecture Notes in Computer Science, Vol. 1753 (2000), pp. 16-??.
|
| |
In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 7-18.
|
| |
Lecture Notes in Computer Science, Vol. 1490 (1998), pp. 284-??.
|
| |
In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 56-67.
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 51-64.
|
| |
Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 59-70.
|
| |
In Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) (2007)
|
| |
Functional and Logic Programming (2006), pp. 65-80.
|
| |
|
| |
In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 106-116.
|
| |
Trends in Functional Programming, Vol. 7 (2006), pp. 73-90.
|
| |
Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007 In Draft Proceedings of the 19th International Symposium on
IFL (September 2007)
|
| |
Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184.
|
| |
Computer Aided Verification (1999), pp. 686-686.
|
| |
In DATE '03: Proceedings of the conference on Design, Automation and Test in Europe (2003)
|
| |
J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
|
| |
In Euro-Par '01: Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing (2001), pp. 524-534.
|
| |
In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18.
|
| |
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48.
|
| |
In Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, Vol. 3125 (July 2004), pp. 85-109.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 10-21.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
| |
|
| |
In ESOP '88. European Symposium on Programming, Nancy, France, 1988 (Lecture Notes in Computer Science, vol. 300) (1988), pp. 344-358.
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76.
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 105-113.
|
| |
|
| |
In Proc. of a conference on Functional programming languages and computer architecture (1985), pp. 113-128.
|
| |
In PADL '00: Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (2000), pp. 263-277.
|
| |
In Symposium on Principles of Programming Languages (2000), pp. 119-132.
|
| |
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 ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97.
|
| |
J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82.
|
| |
In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84.
|
| |
In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
| |
ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279.
|
| |
Advanced Functional Programming (1995), pp. 53-96.
|
| |
|
