| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2008 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2007 | A | conf |
ICFP
|
| 2005 | B | conf |
SAFECOMP
|
| 2005 | — | conf |
ESEC/SIGSOFT FSE
|
| 2003 | — | conf |
Erlang Workshop
|
| 2002 | — | conf |
SAM
|
| 2000 | A | conf |
ICFP
|
| 1999 | — | conf |
Scottish Functional Programming Workshop
|
| 1998 | — | conf |
IFL
|
| 1998 | — | conf |
IFL
|
| 1996 | — | — |
|
| 1995 | A* | conf |
POPL
|
| 1994 | A | conf |
Functional Programming
|
| 1993 | A | conf |
Functional Programming
|
| 1992 | A | conf |
Functional Programming
|