| 2008 |
|---|
| 7 | EE | Ezra Cooper,
Sam Lindley,
Philip Wadler,
Jeremy Yallop:
The Essence of Form Abstraction.
APLAS 2008: 205-220 |
| 6 | EE | Sam Lindley:
Many holes in hindley-milner.
ML 2008: 59-68 |
| 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 |
