| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1999 | J | jnl |
Appl. Algebra Eng. Commun. Comput.
|
| 1998 | B | conf |
MFCS
|
| 1996 | J | jnl |
Inf. Comput.
|
| 1996 | — | conf |
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.
ALP
|
| 1993 | A* | conf |
LICS
|
| 1993 | J | jnl |
J. Symb. Comput.
|
| 1993 | — | conf |
RTA
|
| 1993 | — | conf |
TAPSOFT
|
| 1990 | — | conf |
LISP and Functional Programming
|
| 1989 | — | conf |
RTA
|
| 1989 | J | jnl |
J. Symb. Comput.
|
| 1984 | — | conf |
CAAP
|