| |
In Functional Programming Languages and Computer Architecture (1995), pp. 86-95.
|
| |
In Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05) (September 2005)
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 69-79.
|
| |
Advanced Functional Programming (2005), pp. 73-129.
|
| |
Advanced Functional Programming (1999), pp. 116-149.
|
| |
In Proceedings 3rd ACM {SIGPLAN} Int.\ Conf.\ on Functional Programming, {ICFP}'98, Baltimore, {MD}, {USA}, 26--29 Sept.\ 1998, Vol. 34(1) (1998), pp. 273-279.
|
| |
Journal of Functional Programming, Vol. 9, No. 4. (1999), pp. 355-372.
|
| |
|
| |
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 (September 2001), pp. 229-240.
|
| |
In The Fun of Programming (2003), pp. 41-60.
|
| |
In The Fun of Programming (2003), pp. 79-103.
|
| |
In Proceedings, 14th Symposium on Principles of Programming Languages (1987), pp. 307-312.
|
| |
|
| |
J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
|
| |
In The Fun of Programming (2003), pp. 201-222.
|
| |
Journal of Functional Programming, Vol. 18, No. 01. (2007), pp. 1-13.
|
| |
In Advanced Functional Programming (1998), pp. 1-27.
|
| |
In Conference on Functional Programming Languages and Computer Architecture (June 1993), pp. 223-232.
|
| |
ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279.
|
| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
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 Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
In Tutorial Text 1st Int.\ Spring School on Advanced Functional Programming Techniques, B\aastad, Sweden, 24--30 May 1995, Vol. 925 (1995), pp. 228-266.
|
| |
J. Funct. Program., Vol. 10, No. 1. (January 2000), pp. 1-18.
|
| |
In Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (1991), pp. 124-144.
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
In Advanced Functional Programming, Vol. 925 (1995)
|
| |
In Advanced Functional Programming (1998), pp. 150-206.
|
| |
In ESOP '88. European Symposium on Programming, Nancy, France, 1988 (Lecture Notes in Computer Science, vol. 300) (1988), pp. 344-358.
|
| |
In International Conference on Functional Programming (1998), pp. 239-250.
|
| |
|
| |
Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
|
| |
Journal of Functional Programming (1999)
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 204-215.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255.
|
| |
|
| |
|
| |
: Functional and Logic Programming (2006), pp. 13-29.
|
| |
In Symposium on Principles of Programming Languages (2000), pp. 119-132.
|
| |
|
| |
|
| |
|
| |
Datatype-Generic Programming (2007), pp. 150-208.
|
| |
Journal of Functional Programming, Vol. 10, No. 4. (2000), pp. 327-351.
|
| |
In Trends in Functional Programming, Vol. 7 (2006), pp. 199-216.
|
| |
In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 1-12.
|
| |
|
Search
