(2005), pp. 1-13.
(2000)
(2004)
(1994), pp. 107-117.
(2004), pp. 33-44.
(2001)
(2005), pp. 144-155.
(1995), pp. 324-333.
(2005), pp. 204-215.
(2005), pp. 168-179.
(2005), pp. 294-305.
(2005), pp. 241-253.
Vol. 1058 (1996), pp. 204-218.
(10 Sep 2005)
(2005), pp. 98-109.
(1989), pp. 347-359.
Mathematics of Program Construction, Vol. 5133 (July 2008), pp. 388-403.
(1995), pp. 97-136.
(1995), pp. 97-136.
Journal of Functional Programming, Vol. 16, No. 4-5. (2006), pp. 451-483.
(2006), pp. 55-65.
Implementation of Functional Languages (September 2003), pp. 168-184.
(2006), pp. 1-12.
Vol. 39, No. 9. (September 2004), pp. 236-243.
Vol. 7 (2006), pp. 199-216.
(2000), pp. 230-244.
SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 241-253.
Vol. 38, No. 3. (March 2003), pp. 26-37.
Vol. 39, No. 9. (September 2004), pp. 244-255.
ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
(1989), pp. 60-76.
(2006), pp. 161-170.
(January 1989), pp. 60-76.
(2007)
(2001)
Lecture Notes in Computer Science, Vol. 1782 (2000)
J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392.
(2006), pp. 161-170.
ACM Trans. Program. Lang. Syst., Vol. 27, No. 6. (November 2005), pp. 1216-1269.