| 2007 | ||
|---|---|---|
| 5 | EE | Sam Lindley: Implementing deterministic declarative concurrency using sieves. DAMP 2007: 45-49 |
| 4 | EE | Sam Lindley: Extensional Rewriting with Sums. TLCA 2007: 255-271 |
| 2006 | ||
| 3 | EE | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop: Links: Web Programming Without Tiers. FMCO 2006: 266-296 |
| 2005 | ||
| 2 | EE | Sam Lindley, Ian Stark: Reducibility and TT-Lifting for Computation Types. TLCA 2005: 262-277 |
| 2004 | ||
| 1 | EE | Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo: Shrinking Reductions in SML.NET. IFL 2004: 142-159 |
| 1 | Nick Benton (P. N. Benton) | [1] |
| 2 | Ezra Cooper | [3] |
| 3 | Andrew Kennedy | [1] |
| 4 | Claudio V. Russo | [1] |
| 5 | Ian Stark | [2] |
| 6 | Philip Wadler | [3] |
| 7 | Jeremy Yallop | [3] |