| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | J | jnl |
Proc. ACM Program. Lang.
|
| 2017 | A* | conf |
POPL
|
| 2015 | J | jnl |
IEEE ACM Trans. Comput. Biol. Bioinform.
|
| 2014 | A | conf |
ICFP
|
| 2013 | C | conf |
PPDP
|
| 2013 | — | conf |
BCB
|
| 2012 | A | conf |
ICFP
|
| 2011 | J | jnl |
J. Funct. Program.
|
| 2011 | A* | conf |
POPL
|
| 2010 | A* | conf |
POPL
|
| 2010 | C | conf |
Haskell
|
| 2007 | A | ed. |
ICFP
|
| 2006 | B | conf |
CC
|
| 2006 | A* | conf |
POPL
|
| 2005 | — | conf |
ML
|
| 2005 | A | conf |
ICFP
|
| 2005 | C | conf |
PADL
|
| 2005 | — | conf |
ML
|
| 2005 | B | conf |
CC
|
| 2004 | A* | conf |
PLDI
|
| 2004 | B | conf |
CC
|
| 2004 | A | conf |
ICFP
|
| 2004 | B | conf |
CC
|
| 2003 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2003 | — | conf |
IVME
|
| 2003 | J | jnl |
J. Funct. Program.
|
| 2002 | J | jnl |
ACM SIGPLAN Notices
|
| 2002 | A* | conf |
POPL
|
| 2001 | — | conf |
ESEC / SIGSOFT FSE
|
| 2000 | A* | conf |
PLDI
|
| 2000 | — | conf |
SAIG
|
| 2000 | J | jnl |
ACM SIGPLAN Notices
|
| 1999 | C | conf |
PPDP
|
| 1999 | J | jnl |
Comput. J.
|
| 1999 | — | conf |
WCRE
|
| 1998 | B | conf |
LCTES
|
| 1998 | J | jnl |
Softw. Pract. Exp.
|
| 1997 | A* | conf |
ICSE
|
| 1997 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1996 | J | jnl |
Softw. Pract. Exp.
|
| 1996 | A* | conf |
PLDI
|
| 1995 | A | conf |
USENIX
|
| 1994 | A* | conf |
POPL
|
| 1994 | J | jnl |
IEEE Softw.
|
| 1992 | A* | conf |
PLDI
|
| 1991 | J | jnl |
Softw. Pract. Exp.
|
| 1989 | — | conf |
IWSSD
|
| 1989 | J | jnl |
Commun. ACM
|