(1998), pp. 291-300.
No. STAN-CS-92-1420. (1992)
Soft\-waredash Prac\-tice and Experience, Vol. 29, No. 7. (1999), pp. 617-645.
(2007), pp. 34-48.
(01 July 1988)
(1984), pp. 208-217.
(2006), pp. 26-37.
ACM Transactions on Programming Languages and Systems, Vol. 20, No. 2. (March 1998), pp. 344-387.
Lecture Notes in Computer Science, Vol. 1490 (1998), pp. 335-??.
(01 May 1987)
(1996)
Journal of Logic Programming, Vol. 19,20 (1994), pp. 385-441.
No. 19-92*. (July 1992)
Journal of Functional Programming, Vol. 1, No. 3. (1991), pp. 329-366.
(2005), pp. 49-61.
(2006), pp. 82-91.
Vol. 34(1) (1999), pp. 129-140.
(2001)
Journal of Functional Programming, Vol. 4, No. 1. (1994), pp. 47-63.
The Computer Journal, Vol. 35, No. 2. (1992), pp. 170-176.
No. RR-3050.
(2003), pp. 57-76.
(2005), pp. 15-26.
(2005), pp. 1175-1186.
by Shankar
Pal, Istvan
Cseri, Oliver
Seeliger, Michael
Rys, Gideon
Schaller, Wei
Yu, Dragan
Tomic, Adrian
Baras, Brandon
Berg, Denis
Churin, Eugene
Kogan
ACM Comput. Surv., Vol. 30, No. 2. (June 1998), pp. 123-169.
(Jun 2002)
(2005), pp. 7-11.
(2004)
(2002), pp. 341-345.
(2002), pp. 38-50.
(1993), pp. 335-348.
(1994)
Vol. 24, No. 7. (July 1989), pp. 146-160.
Vol. 1110 (1996), pp. 216-237.
SIGPLAN Notices, Vol. 31, No. 9. (1996), pp. 150-159.
Vol. 40, No. 9. (September 2005), pp. 216-227.
No. RT-0117. (February 1990)
(2006), pp. 88-94.
(1991), pp. 155-162.
(1994), pp. 472-492.
SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 315-326.
(1999), pp. 18-27.
(1995), pp. 333-343.
(1980), pp. 56-64.
(2003), pp. 6-14.
(1983)
(1997)