| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2003 | J | jnl |
High. Order Symb. Comput.
|
| 2003 | — | conf |
Euro-Par
|
| 2000 | — | conf |
Scottish Functional Programming Workshop
|
| 2000 | — | conf |
Scottish Functional Programming Workshop
|
| 2000 | — | conf |
IFL
|
| 2000 | — | conf |
Euro-Par
|
| 1999 | — | conf |
Scottish Functional Programming Workshop
|
| 1998 | — | conf |
PLILP/ALP
|
| 1998 | — | conf |
IFL
|
| 1997 | — | conf |
Implementation of Functional Languages
|
| 1996 | — | conf |
Implementation of Functional Languages
|