Datatype-Generic Programming (2007), pp. 1-71.
SIGPLAN Not., Vol. 30, No. 10. (October 1995), pp. 187-199.
Programming Languages and Systems, Vol. 4960 (April 2008), pp. 1-15.
(2007), pp. 499-514.
(2007), pp. 1-12.
Practical Aspects of Declarative Languages (2002), pp. 137-154.
SIGPLAN Not., Vol. 38, No. 3. (March 2003), pp. 26-37.
Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
SIGSOFT Softw. Eng. Notes, Vol. 23, No. 6. (November 1998), pp. 99-110.
(1997)
(July 2007)
(July 2007)
(July 2006)
(October 2006)
No. 2004-041. (October 2004)
(2004)
(October 2000)
(December 1996)
Vol. 3016 (2004)
(October 2001)
Vol. 1628 (June 1999)
(September 2005)
(1996)
(April 1994)
(April 1993)
(July 2007)
(September 2006)
(October 2005)
(2005)
Vol. 2890 (July 2003), pp. 30-37.
No. 02--07. (2002)
(2000)
(2004), pp. 69-73.
(2004)
Scientific Programming, Vol. 11, No. 4. (2003), pp. 291-307.
(November 2003), pp. 145-147.
(2002)
(2002), pp. 74-91.
(2002)
(2002)
Information and Software Technology, Vol. 44, No. 13. (October 2002), pp. 797-810.
Vol. 2027 (2001), pp. 86-101.
(November 2001), pp. 109-121.
SIAM Book Review, Vol. 42, No. 4. (2000)
Vol. 1766 (2000)
ACM SIGPLAN Not., Vol. 35, No. 6. (2000), pp. 47-54.
(July 2007)
(July 2007)
(July 2006)
(November 2005)