| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2014 | — | conf |
CSEDU (2)
|
| 2013 | — | ed. |
ELS
|
| 2010 | J | jnl |
High. Order Symb. Comput.
|
| 2010 | — | conf |
CSEDU (2)
|
| 2007 | — | conf |
ILC
|
| 2005 | — | conf |
OTM Conferences (1)
|
| 2005 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2004 | J | jnl |
High. Order Symb. Comput.
|
| 2003 | J | jnl |
ACM SIGPLAN Notices
|
| 2003 | — | book |
Lisp in small pieces.
|
| 2002 | — | conf |
TelE-Learning
|
| 2000 | Misc | conf |
AIMSA
|
| 2000 | A | conf |
ICFP
|
| 1999 | — | conf |
IPPS/SPDP
|
| 1998 | — | conf |
ICCL
|
| 1998 | A | ed. |
ICFP
|
| 1997 | — | conf |
DSL
|
| 1997 | J | jnl |
Inf. Process. Lett.
|
| 1996 | — | ed. |
PSLS
|
| 1996 | A | conf |
ICFP
|
| 1995 | — | conf |
PSLS
|
| 1994 | — | conf |
LISP and Functional Programming
|
| 1994 | — | conf |
PLILP
|
| 1994 | — | conf |
Theory and Practice of Parallel Programming
|
| 1992 | — | conf |
PARLE
|
| 1992 | — | conf |
Parallel Symbolic Computing
|
| 1992 | A* | conf |
POPL
|
| 1992 | — | conf |
WSA
|
| 1992 | — | conf |
WSA
|
| 1991 | A* | conf |
POPL
|
| 1991 | — | conf |
JTASPEFT/WSA
|
| 1990 | — | conf |
PLILP
|
| 1989 | — | conf |
PARLE (1)
|
| 1988 | — | conf |
LISP and Functional Programming
|
| 1981 | J | jnl |
RAIRO Theor. Informatics Appl.
|