| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2007 | B | conf |
VEE
|
| 2007 | A* | conf |
PLDI
|
| 2005 | — | conf |
USENIX ATC, General Track
|
| 2003 | — | conf |
RV@CAV
|
| 2001 | B | conf |
Data Compression Conference
|
| 2000 | A | conf |
ICFP
|
| 2000 | B | conf |
Data Compression Conference
|
| 1995 | B | conf |
SAS
|
| 1993 | C | conf |
PEPM
|
| 1993 | A | conf |
Functional Programming
|
| 1992 | — | conf |
IWMM
|
| 1991 | — | — |
Towards a strictness analyser for Haskell - putting theory into practice.
|