| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1996 | — | conf |
Dagstuhl Seminar on Partial Evaluation
|
| 1996 | — | conf |
Dagstuhl Seminar on Partial Evaluation
|
| 1996 | — | conf |
Ershov Memorial Conference
|
| 1993 | J | jnl |
J. Funct. Program.
|
| 1990 | B | conf |
ISSAC
|
| 1987 | J | jnl |
J. Symb. Log.
|
| 1986 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1985 | — | conf |
Programs as Data Objects
|
| 1982 | — | conf |
Symposium on LISP and Functional Programming
|
| 1980 | — | conf |
Semantics-Directed Compiler Generation
|
| 1980 | A* | conf |
ICALP
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|