| |
| 2007 | ||
|---|---|---|
| 2 | EE | Don Syme, Gregory Neverov, James Margetson: Extensible pattern matching via a lightweight language extension. ICFP 2007: 29-40 |
| 2005 | ||
| 1 | EE | Tom Ridge, James Margetson: A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. TPHOLs 2005: 294-309 |
| 1 | Gregory Neverov | [2] |
| 2 | Tom Ridge (Thomas Ridge) | [1] |
| 3 | Don Syme | [2] |